Format:
XI, 304 S. : graph. Darst.
ISBN:
3-540-11210-3
,
0-387-11210-3
Series Statement:
Lecture notes in computer science 130
Note:
Umschlagt.: Golblatt, Robert: Axiomatising the logic of computer programming
Language:
German
Subjects:
Computer Science
,
Philosophy
Keywords:
Axiomatik
;
Programmierlogik
;
Programmiersprache
;
Semantik
;
Beweistheorie
;
Programmierung
;
Logik
;
Programmiersprache
;
Syntax
;
Programmiersprache
;
Semantik
Author information:
Goldblatt, Robert, 1949-