Format:
XI, 304 S.
,
graph. Darst.
ISBN:
3540112103
,
0387112103
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-