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 edition 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
See All
History
- Created July 18, 2012
- 6 revisions
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
| December 25, 2021 | Edited by ImportBot | import existing book |
| September 25, 2020 | Edited by MARC Bot | import existing book |
| June 30, 2019 | Edited by MARC Bot | import existing book |
| July 28, 2014 | Edited by ImportBot | import new book |
| July 18, 2012 | Created by LC Bot | Imported from Library of Congress MARC record |