Format:
XV, 782 S. :
,
Ill., graph. Darst.
ISBN:
3-540-21002-4
Series Statement:
Lecture notes in computer science 2772
Note:
Literaturangaben
Language:
English
Subjects:
Computer Science
Keywords:
Verifikation
;
Theoretische Informatik
;
Programmierung
;
Programmierlogik
;
Berechnungstheorie
;
Aufsatzsammlung
;
Festschrift
;
Aufsatzsammlung
;
Festschrift
;
Aufsatzsammlung
;
Aufsatzsammlung
;
Konferenzschrift
;
Festschrift
Author information:
Manna, Zohar 1939-2018
Author information:
Dershowitz, Nachum, 1951-