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
Our rough guess is there are 147,250 words in this book.
At a pace averaging 250 words per minute, this book will take 9 hours and 49 minutes to read. With a half hour per day, this will take 20 days to read.
How long will it take you?
This book will take an estimated to read at a reading speed averaging words per minute. With 30 minutes per day, this will take to read.
Enter your reading speedYou can take one of our WPM reading speed tests to find your reading speed.
Create a free account to track your reading progress, build your reading list, and set reading goals.
Author
Contributions
- Matthias Baaz (Editor) - Contributor
- Johann M. Makowsky (Editor) - Contributor
Publication
2003-09-29 - Springer
Language
English
Word Count
147,250 words, Guess
Page Count
589 pages
Physical Format
Paperback
Identifiers
- Internet Archivecomputersciencel2003baaz
- ISBN-103540408010
- ISBN-139783540408017
- Open LibraryOL9773335M
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.
Subjects
Topics
Other Editions
- 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)
Reader Reviews
No reviews yet for this book.
Be the first to share your thoughts!