Umfang:
1 Online-Ressource
ISBN:
9788847005808
Serie:
Unitext
Weitere Ausg.:
Erscheint auch als Druckausgabe ISBN 978-88-470-0579-2
Sprache:
Italienisch
Schlagwort(e):
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
Mehr zum Autor:
Feldman, Yishai A. 1958-
Mehr zum Autor:
Harel, David 1950-
Bookmarklink