Format:
1 Online-Ressource
ISBN:
9788847005808
Series Statement:
Unitext
Additional Edition:
Erscheint auch als Druckausgabe ISBN 978-88-470-0579-2
Language:
Italian
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
DOI:
10.1007/978-88-470-0580-8
Author information:
Feldman, Yishai A. 1958-
Author information:
Harel, David 1950-
