Format:
xiii, 451 Seiten :
,
Diagramme.
ISBN:
978-3-658-26301-0
,
3-658-26301-6
Series Statement:
Lehrbuch
Additional Edition:
Erscheint auch als Online-Ausgabe, eBook ISBN 978-3-658-26302-7
Language:
German
Subjects:
Computer Science
Keywords:
Systementwicklung
;
Softwareentwicklung
;
Datenstruktur
;
Algebraische Spezifikation
;
Softwarespezifikation
;
Funktionale Programmierung
;
Algorithmische Programmierung
;
Objektorientierte Programmierung
;
Korrektheit
;
Beweis
;
Lehrbuch
;
Lehrbuch
URL:
http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=031516565&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
Author information:
Broy, Manfred, 1949-,
Bookmarklink