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 edition 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
History
- Created April 1, 2008
- 9 revisions
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
| April 21, 2025 | Edited by ImportBot | Redacting ocaids |
| March 17, 2025 | Edited by MARC Bot | import existing book |
| July 25, 2024 | Edited by MARC Bot | import existing book |
| March 17, 2023 | Edited by ImportBot | import existing book |
| April 1, 2008 | Created by an anonymous user | Imported from Scriblio MARC record |