Format:
1 Online-Ressource (xiii, 451 Seiten) :
,
Diagramme.
ISBN:
978-3-658-26302-7
Series Statement:
Lehrbuch
Additional Edition:
Erscheint auch als Druck-Ausgabe ISBN 978-3-658-26301-0
Language:
German
Subjects:
Computer Science
Keywords:
Systementwicklung
;
Softwareentwicklung
;
Datenstruktur
;
Algebraische Spezifikation
;
Softwarespezifikation
;
Funktionale Programmierung
;
Algorithmische Programmierung
;
Objektorientierte Programmierung
;
Korrektheit
;
Beweis
;
Lehrbuch
;
Lehrbuch
;
Lehrbuch
DOI:
10.1007/978-3-658-26302-7
URL:
Volltext
(URL des Erstveröffentlichers)
URL:
Volltext
(URL des Erstveröffentlichers)
Author information:
Broy, Manfred, 1949-,
Bookmarklink