An edition of Temporal logic in specification
(1989)
Temporal logic in specification
Altrincham, UK, April 8-10, 1987 : proceedings
by Howard Barringer
Share
×Close
This work doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Subjects
Symbolic and mathematical Logic, System design, Softwarespezifikation, Logique symbolique et mathématique, Théorie automate, Système concurrent, Temporale Logik, Congrès, Vérification, Spécification, Logique temporelle, Systèmes, Conception de, Démonstration théorème, Logique, Nebenläufigkeit, Congresses| Edition | Availability |
|---|---|
1
Temporal logic in specification: Altrincham, UK, April 8-10, 1987 : proceedings
1989, Springer-Verlag, Springer
in English
0387518037 9780387518039
|
aaaa
|
Book Details
Edition Notes
Includes bibliographical references.
Based on papers presented at the Colloquium on Temporal Logic in Specification.
Classifications
The Physical Object
Edition Identifiers
Work Identifiers
Community Reviews (0)
Lists
See All
| March 17, 2025 | Edited by MARC Bot | import existing book |
| July 7, 2019 | Edited by MARC Bot | import existing book |
| April 9, 2019 | Created by MARC Bot | import existing book |