Temporal Logic of Programs: 8 (Monographs in Theoretical Computer Science. An EATCS Series)

More Information

Format: Paperback
Pages: 160
Edition: Softcover reprint of the original 1st ed. 1987
Publisher: Springer-Verlag
Published: 01 Jan 1987
ISBN 10: 3642715516
ISBN 13: 9783642715518