An edition of Fields of logic and computation
(2010)
Fields of logic and computation
essays dedicated to Yuri Gurevich on the occasion of his 70th birthday
by Yuri Gurevich, Andreas Blass, Nachum Dershowitz, and Wolfgang Reisig
- 1 Want to read
Share
×Close
This work doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Previews available in: English
Subjects
Softwarespezifikation, Komplexitätstheorie, Mathematische Logik, Symbolic and mathematical Logic, Berechenbarkeit, Programmverifikation, Formale Methode, Information theory, Computer science, Automatentheorie, Mathematics, Formal methods (Computer science), Theoretische Informatik, Abstrakte Zustandsmaschine, Logic design, Computer networks, Software engineering, Computer software, Computer science, mathematics| Edition | Availability |
|---|---|
1
Fields of logic and computation: essays dedicated to Yuri Gurevich on the occasion of his 70th birthday
2010, Springer
in English
3642150241 9783642150241
|
aaaa
|
Book Details
Edition Notes
Includes bibliographical references.
Classifications
The Physical Object
Edition Identifiers
Work Identifiers
Community Reviews (0)
Lists
| December 25, 2021 | Edited by ImportBot | import existing book |
| June 30, 2019 | Edited by MARC Bot | import existing book |
| July 18, 2012 | Created by LC Bot | import new book |