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

Bibliographic Details
Corporate Authors:	SpringerLink (Online service), Colloquium on Temporal Logic in Specification
Other Authors:	Banieqbal, B. (Behnam), 1960-, Barringer, Howard, 1951-, Pnueli, Amir, 1941-2009
Format:	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. démonstration théorème. théorie automate. système concurrent. vérification. spécification. logique temporelle. Systèmes, Conception de > Congrès. Logique symbolique et mathématique > Congrès. Logique > Congrès. Temporale Logik. Nebenläufigkeit. Softwarespezifikation. Altrincham <1987>. Electronic books. Electronic resources (Books) Kongress.
Online Access:	Connect to the full text of this electronic book

Available Online