Umfang:
Online-Ressource
ISBN:
9783540394457
Serie:
Lecture Notes in Computer Science 148
Weitere Ausg.:
ISBN 9783540119814
Weitere Ausg.:
Buchausg. u.d.T. Logics of programs and their applications Berlin [u.a.] : Springer, 1983 ISBN 3540119817
Weitere Ausg.:
ISBN 0387119817
Sprache:
Englisch
Fachgebiete:
Informatik
Schlagwort(e):
Programmierlogik
;
Programmierung
;
Programmierung
;
Programmierlogik
;
Konferenzschrift
DOI:
10.1007/3-540-11981-7