Format:
Online-Ressource
ISBN:
9783540390381
Series Statement:
Lecture Notes in Computer Science 130
Additional Edition:
ISBN 9783540112105
Additional Edition:
Buchausg. u.d.T. Goldblatt, Robert Axiomatising the logic of computer programming Berlin : Springer, 1982 ISBN 3540112103
Additional Edition:
ISBN 0387112103
Language:
English
Subjects:
Computer Science
Keywords:
Axiomatik
;
Programmierlogik
;
Programmiersprache
;
Semantik
;
Beweistheorie
;
Programmierlogik
;
Programmiersprache
;
Syntax
;
Programmiersprache
;
Semantik