Check nearby libraries
Buy this book
![Loading indicator](/images/ajax-loader-bar.gif)
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
![Loading indicator](/images/ajax-loader-bar.gif)
Previews available in: English
Subjects
Machine theory, Mathematics, Computer logic, Computer science, Informatique, Komplexitätstheorie, Automates mathématiques, Théorie des, Model Checking, Mathématiques, Automatentheorie, Theoretische Informatik, Logique informatique, Computer engineering, Mathematiques, Theorie des Automates mathematiquesEdition | Availability |
---|---|
1
Computation Engineering: Applied Automata Theory and Logic
Oct 29, 2010, Springer
paperback
1441937412 9781441937414
|
zzzz
Libraries near you:
WorldCat
|
2
Computation Engineering:: Formal Specification and Verification Methods
December 2007, Springer
Hardcover
in English
- 1 edition
0387244190 9780387244198
|
zzzz
Libraries near you:
WorldCat
|
3
Computation Engineering: Applied Automata Theory and Logic
June 2, 2006, Springer
in English
0387244182 9780387244181
|
aaaa
Libraries near you:
WorldCat
|
Book Details
Classifications
ID Numbers
Source records
amazon.com recordLibrary of Congress MARC record
Library of Congress MARC record
Internet Archive item record
Internet Archive item record
Internet Archive item record
marc_openlibraries_sanfranciscopubliclibrary MARC record
Library of Congress MARC record
Better World Books record
marc_columbia MARC record
marc_nuls MARC record
Internet Archive item record
Community Reviews (0)
Feedback?March 8, 2023 | Edited by MARC Bot | import existing book |
February 25, 2022 | Edited by ImportBot | import existing book |
June 29, 2019 | Edited by MARC Bot | import existing book |
July 28, 2014 | Edited by ImportBot | import new book |
December 10, 2009 | Created by WorkBot | add works page |