Format:
1 Online-Ressource (XIII, 626 S.)
,
Ill., graph. Darst.
ISBN:
9783642150258
Series Statement:
Lecture Notes in Computer Science; 6300
Additional Edition:
Erscheint auch als Druck-Ausgabe, Paperback ISBN 978-3-642-15024-1
Language:
English
Subjects:
Computer Science
Keywords:
Theoretische Informatik
;
Mathematische Logik
;
Berechenbarkeit
;
Komplexitätstheorie
;
Automatentheorie
;
Softwarespezifikation
;
Programmverifikation
;
Abstrakte Zustandsmaschine
;
Formale Methode
;
Aufsatzsammlung
;
Festschrift
DOI:
10.1007/978-3-642-15025-8
Author information:
Blass, Andreas 1947-
