Format:
XXII, 572 S.
,
graph. Darst.
Edition:
3. ed.
ISBN:
9783642272653
,
3642272657
Language:
English
Subjects:
Computer Science
Keywords:
Algorithmus
;
Programmierung
;
Programmiersprache
;
Korrektheit
;
Programmverifikation
;
Effizienter Algorithmus
;
Komplexitätstheorie
;
Berechenbarkeit
;
Softwareentwicklung
;
Algorithmische Programmiersprache
;
Programmverifikation
;
Korrektheit
;
Beweis
;
Programmierung
;
Effizienter Algorithmus
;
Berechenbarkeit
;
Algorithmus
;
Informatik
;
Algorithmus
;
Datenverarbeitung
;
Algorithmische Programmierung
;
Algorithmentheorie
URL:
http://deposit.d-nb.de/cgi-bin/dokserv?id=3929829&prov=M&dok_var=1&dok_ext=htm
Author information:
Feldman, Yishai A. 1958-
Author information:
Harel, David 1950-
Bookmarklink