An edition of Temporal logic in specification
(1989)
Temporal logic in specification
Altrincham, UK, April 8-10, 1987 : proceedings
by Howard Barringer
- 0 Ratings
- 0 Want to read
- 0 Currently reading
- 0 Have read
Share
×Close
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Previews available in: English
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äufigkeitShowing 1 featured edition. View all 1 editions?
| Edition | Availability |
|---|---|
1
Temporal logic in specification: Altrincham, UK, April 8-10, 1987 : proceedings
1989, Springer-Verlag, Springer
in English
0387518037 9780387518039
|
aaaa
Libraries near you:
WorldCat
|
Book Details
Edition Notes
Includes bibliographical references.
Based on papers presented at the Colloquium on Temporal Logic in Specification.
Classifications
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?
| July 7, 2019 | Edited by MARC Bot | import existing book |
| April 9, 2019 | Created by MARC Bot | import existing book |