An edition of Computer science logic
(2003)
Computer Science Logic
17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, and 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, ... (Lecture Notes in Computer Science)
1 edition
by Matthias Baaz
- 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
Computer logic, Congresses| Edition | Availability |
|---|---|
1
Computer Science Logic: 17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, and 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003, Proceedings
2003, Springer London, Limited
in English
3540452206 9783540452201
|
zzzz
Libraries near you:
WorldCat
|
2
Computer Science Logic: 17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, and 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, ... (Lecture Notes in Computer Science)
September 29, 2003, Springer
Paperback
in English
- 1 edition
3540408010 9783540408017
|
aaaa
Libraries near you:
WorldCat
|
Book Details
First Sentence
"One of the main challenges undertaken by the model checking community has been to develop algorithms which can deal with infinite state spaces."
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?
| June 26, 2019 | Created by MARC Bot | import existing book |