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
Share
×Close
This work doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
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
|
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
|
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
Edition Identifiers
Work Identifiers
Community Reviews (0)
Lists
| June 26, 2019 | Created by MARC Bot | import existing book |