Temporal Logic in Specification: Altrincham, Uk, April 8-10, 1987 : Proceedings (Lecture Notes in Computer Science) - Softcover

Banieqbal, H.; Barringer, H.

 
9780387518039: Temporal Logic in Specification: Altrincham, Uk, April 8-10, 1987 : Proceedings (Lecture Notes in Computer Science)
Softcover
ISBN 10: 0387518037 ISBN 13: 9780387518039
Publisher: Springer Verlag, 1989

Synopsis

No Temporal Logic in Specification Read a customer review or write one .

"synopsis" may belong to another edition of this title.

Publisher
Springer Verlag
Publication date
1989
Language
English
ISBN 10 
0387518037
ISBN 13 
9780387518039
Binding
Paperback
Editor
Pneuli A.

Other Popular Editions of the Same Title

9783540518037: Temporal Logic in Specification: Altrincham, UK, April 8-10, 1987, Proceedings: 398 (Lecture Notes in Computer Science, 398)

Featured Edition

ISBN 10:  3540518037 ISBN 13:  9783540518037
Publisher: Springer, 1989
Softcover