An edition of Temporal logic
(1994)
Temporal logic
first international conference, ICTL '94, Bonn, Germany, July 11-14, 1994 : proceedings
by Dov M. Gabbay
- 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
| 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
|
zzzz
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
|
aaaa
Libraries near you:
WorldCat
|
Book Details
Edition Notes
Includes bibliiographical references and index.
Classifications
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 |