Cover Image

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

Show other versions (1)
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
Description
Item Description:Based on papers presented at the Colloquium on Temporal Logic in Specification.
Electronic resource.
Physical Description:1 online resource (vi, 448 pages) : illustrations.
Format:Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002.
Bibliography:Includes bibliographical references.
ISBN:9783540468110 (electronic bk.)
3540468110 (electronic bk.)