Book
Wokingham, England u.a. :Addison-Wesley,
Format:
XIV, 425 S. : graph. Darst.
Edition:
1. pr., 1. repr.
ISBN:
0-201-19240-3
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
Author information:
Harel, David 1950-
Bookmarklink
Library |
Location |
Call Number |
Volume/Issue/Year |
Availability |