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.
Description
Item Description:Based on papers presented at the Colloquium on Temporal Logic in Specification.
Physical Description:vi, 448 pages : illustrations
Bibliography:Includes bibliographical references.
ISBN:0387518037 (U.S.) :