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,Wolfgang Reisig
0 (0 Ratings)
1 Want to read0 Currently reading0 Have read
1 Want to read0 Currently reading0 Have read
Publish Date
2010
Publisher
Springer
Language
eng
Pages
626
Description:
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