Umfang:
Online-Ressource
ISBN:
9783540472650
Serie:
Lecture Notes in Computer Science 613
Weitere Ausg.:
ISBN 9783540556312
Weitere Ausg.:
Buchausg. u.d.T. Constructivity in computer science Berlin : Springer, 1992 ISBN 3540556311
Weitere Ausg.:
ISBN 0387556311
Sprache:
Englisch
Fachgebiete:
Informatik
Schlagwort(e):
Softwareentwicklung
;
Konstruktive Methode
;
Konferenzschrift