Cover Image

Temporal logic in specification : Altrincham, UK, April 8-10, 1987 : proceedings /

Show other versions (1)
Bibliographic Details
Corporate Author: Colloquium on Temporal Logic in Specification
Other Authors: Banieqbal, B. (Behnam), 1960-, Barringer, Howard, 1951-, Pnueli, Amir, 1941-2009
Format: Conference Proceeding Book
Language:English
Published: Berlin ; New York : Springer-Verlag, [1989]
Series:Lecture notes in computer science ; 398.
Subjects:
System design.
Logic, Symbolic and mathematical.
Search Result 1
Cover Image
Published 1989
Connect to the full text of this electronic book
Conference Proceeding eBook
Show all versions (2)