Umfang:
XI, 304 S
,
graph. Darst.
ISBN:
3540112103
,
0387112103
Serie:
Lecture notes in computer science 130
Anmerkung:
Literaturverz. S. 291 - 298
Weitere Ausg.:
Online-Ausg. Goldblatt, Robert Axiomatising the logic of computer programming Berlin [u.a.] : Springer, 1982 ISBN 9783540390381
Weitere Ausg.:
Erscheint auch als Online-Ausgabe Goldblatt, R. Axiomatising the Logic of Computer Programming Berlin, Heidelberg : Springer Berlin Heidelberg, 1982 ISBN 9783540390381
Sprache:
Deutsch
Fachgebiete:
Informatik
Schlagwort(e):
Axiomatik
;
Programmierlogik
;
Programmiersprache
;
Semantik
;
Beweistheorie
;
Programmierlogik
;
Programmiersprache
;
Syntax
;
Programmiersprache
;
Semantik