Temporal Logic of Programs (E A T C S MONOGRAPHS ON THEORETICAL COMPUTER SCIENCE)

MONOGRAPHS

by Fred Kroger

Hardcover

ISBN: 978-0-387-17030-5

ISBN-10: 0-387-17030-8

Springer Verlag · 1987
See also (possibly by other authors):
1987Gebundene AusgabeTemporal Logic of Programs (Monographs in Theoretical Computer Science. An EATCS Series (8), Band 8)
1987TaschenbuchTemporal Logic of Programs (Monographs in Theoretical Computer Science. An EATCS Series, Band 8)