Format:
XI, 304 S
,
graph. Darst.
ISBN:
3540112103
,
0387112103
Series Statement:
Lecture notes in computer science 130
Note:
Literaturverz. S. 291 - 298
Additional Edition:
Online-Ausg. Goldblatt, Robert Axiomatising the logic of computer programming Berlin [u.a.] : Springer, 1982 ISBN 9783540390381
Additional Edition:
Erscheint auch als Online-Ausgabe Goldblatt, R. Axiomatising the Logic of Computer Programming Berlin, Heidelberg : Springer Berlin Heidelberg, 1982 ISBN 9783540390381
Language:
German
Subjects:
Computer Science
Keywords:
Axiomatik
;
Programmierlogik
;
Programmiersprache
;
Semantik
;
Beweistheorie
;
Programmierlogik
;
Programmiersprache
;
Syntax
;
Programmiersprache
;
Semantik