An edition of Temporal logic
(1994)
Temporal Logic
First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings (Lecture Notes in Computer Science)
1 edition
by Dov M. Gabbay
Share
×Close
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Previews available in: English
| Edition | Availability |
|---|---|
1
Temporal Logic: First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings (Lecture Notes in Computer Science)
August 5, 1994, Springer
Paperback
in English
- 1 edition
354058241X 9783540582410
|
aaaa
Libraries near you:
WorldCat
|
2
Temporal logic: first international conference, ICTL '94, Bonn, Germany, July 11-14, 1994 : proceedings
1994, Springer-Verlag
in English
354058241X 9783540582410
|
zzzz
Libraries near you:
WorldCat
|
Book Details
First Sentence
"In recent years, a number of logics for specifying and verifying real-time systems have been proposed."
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?
| October 4, 2021 | Edited by ImportBot | import existing book |
| February 5, 2019 | Created by MARC Bot | import existing book |