Temporal logic in specification [electronic resource] : Altrincham, UK, April 8-10, 1987 : proceedings / B. Banieqbal, H. Barringer, A. Pnueli (eds.)

Annotation

Saved in:

Bibliographic Details
Online Access:	Full Text (via Springer)
Corporate Author:	Colloquium on Temporal Logic in Specification
Other Authors:	Banieqbal, B. (Behnam), 1960-, Barringer, Howard, 1951-, Pnueli, Amir, 1941-2009
Format:	Electronic Conference Proceeding eBook
Language:	English
Published:	Berlin ; New York : Springer-Verlag, ©1989.
Series:	Lecture notes in computer science ; 398.
Subjects:	System design. Logic, Symbolic and mathematical.

Internet

Full Text (via Springer)

Holdings details from Online
Call Number:	QA76.9.S88 T42 1989
QA76.9.S88 T42 1989	Available