Umfang:
XI, 304 S. : graph. Darst.
ISBN:
3-540-11210-3
,
0-387-11210-3
Serie:
Lecture notes in computer science 130
Anmerkung:
Umschlagt.: Golblatt, Robert: Axiomatising the logic of computer programming
Sprache:
Deutsch
Fachgebiete:
Informatik
,
Philosophie
Schlagwort(e):
Axiomatik
;
Programmierlogik
;
Programmiersprache
;
Semantik
;
Beweistheorie
;
Programmierung
;
Logik
;
Programmiersprache
;
Syntax
;
Programmiersprache
;
Semantik
Mehr zum Autor:
Goldblatt, Robert, 1949-