Online-Ressource
Berlin, Heidelberg : Springer Berlin Heidelberg
Umfang:
Online-Ressource
ISBN:
9783540390381
Serie:
Lecture Notes in Computer Science 130
Weitere Ausg.:
ISBN 9783540112105
Weitere Ausg.:
Buchausg. u.d.T. Goldblatt, Robert Axiomatising the logic of computer programming Berlin : Springer, 1982 ISBN 3540112103
Weitere Ausg.:
ISBN 0387112103
Sprache:
Englisch
Fachgebiete:
Informatik
Schlagwort(e):
Axiomatik
;
Programmierlogik
;
Programmiersprache
;
Semantik
;
Beweistheorie
;
Programmierlogik
;
Programmiersprache
;
Syntax
;
Programmiersprache
;
Semantik
Bibliothek |
Standort |
Signatur |
Band/Heft/Jahr |
Verfügbarkeit |