

An edition of Fields of logic and computation (2010)
essays dedicated to Yuri Gurevich on the occasion of his 70th birthday
By Yuri Gurevich,Andreas Blass,Nachum Dershowitz,Wolfgang Reisig
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