Format:
1 Online-Ressource (VI, 429 S.
,
graph. Darst.)
ISBN:
354011212X
,
038711212X
Series Statement:
Lecture notes in computer science 131
Language:
English
Subjects:
Computer Science
Keywords:
Programmierlogik
;
Programmierung
;
Logik
;
Konferenzschrift
Author information:
Kozen, Dexter 1951-