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
- 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
Showing 2 featured editions. View all 2 editions?
| 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?
History
- Created April 30, 2008
- 6 revisions
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
| July 30, 2019 | Edited by MARC Bot | associate edition with work OL18329377W |
| August 10, 2010 | Edited by IdentifierBot | added LibraryThing ID |
| April 24, 2010 | Edited by Open Library Bot | Fixed duplicate goodreads IDs. |
| April 16, 2010 | Edited by bgimpertBot | Added goodreads ID. |
| April 30, 2008 | Created by an anonymous user | Imported from amazon.com record |