Book
Reading, Mass. [u.a.] :Addison-Wesley Publ.,
Format:
XV, 476 S. : graph. Darst.
Edition:
2. ed., reprinted with corr.
ISBN:
0-201-50401-4
Language:
English
Subjects:
Computer Science
Keywords:
Softwareentwicklung
;
Algorithmische Programmiersprache
;
Programmverifikation
;
Korrektheit
;
Beweis
;
Algorithmus
;
Programmierung
;
Programmiersprache
;
Korrektheit
;
Programmverifikation
;
Programmierung
;
Effizienter Algorithmus
;
Berechenbarkeit
;
Effizienter Algorithmus
;
Komplexitätstheorie
;
Berechenbarkeit
;
Algorithmus
;
Informatik
;
Algorithmus
;
Datenverarbeitung
;
Algorithmische Programmierung
;
Algorithmentheorie
URL:
http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017534737&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
Author information:
Harel, David 1950-
Library |
Location |
Call Number |
Volume/Issue/Year |
Availability |