Format:
Online-Ressource
ISBN:
9783540472650
Series Statement:
Lecture Notes in Computer Science 613
Additional Edition:
ISBN 9783540556312
Additional Edition:
Buchausg. u.d.T. Constructivity in computer science Berlin : Springer, 1992 ISBN 3540556311
Additional Edition:
ISBN 0387556311
Language:
English
Subjects:
Computer Science
Keywords:
Softwareentwicklung
;
Konstruktive Methode
;
Konferenzschrift
Bookmarklink