Fields of logic and computation
Subtitle: essays dedicated to Yuri Gurevich on the occasion of his 70th birthday
By: Andreas Blass, Nachum Dershowitz, Wolfgang Reisig (eds.).
Series: Lecture notes in computer science -- 6300; Festschrift
Publisher: Springer
Published: 2010
Place of publication: Berlin; New York
Language: eng
Number of pages: 626
ISBN-13: 9783642150241
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
Notes: Includes bibliographical references.