Umfang:
XVIII, 514 S.
,
Ill., graph. Darst.
Ausgabe:
3. ed., 3 [.Druck]
ISBN:
0321117840
,
9780321117847
Anmerkung:
Includes bibliographical references and index
Sprache:
Englisch
Fachgebiete:
Informatik
Schlagwort(e):
Algorithmische Programmierung
;
Softwareentwicklung
;
Algorithmische Programmiersprache
;
Programmverifikation
;
Korrektheit
;
Beweis
;
Programmierung
;
Effizienter Algorithmus
;
Berechenbarkeit
;
Algorithmus
;
Programmierung
;
Programmiersprache
;
Korrektheit
;
Programmverifikation
;
Effizienter Algorithmus
;
Komplexitätstheorie
;
Berechenbarkeit
;
Algorithmus
;
Informatik
;
Algorithmus
;
Datenverarbeitung
;
Algorithmentheorie
URL:
Inhaltsverzeichnis
(kostenfrei)
Mehr zum Autor:
Feldman, Yishai A. 1958-
Mehr zum Autor:
Harel, David 1950-
Bookmarklink