UID:
kobvindex_ZLB15117862
Format:
XVIII, 608 Seiten
,
graph. Darst.
Edition:
Nachdr.
ISBN:
9783642043383
Language:
German
Keywords:
Algorithmische Programmierung
;
Softwareentwicklung
;
Algorithmische Programmiersprache
;
Programmverifikation
;
Korrektheit
;
Beweis
;
Programmierung
;
Effizienter Algorithmus
;
Berechenbarkeit
URL:
http://deposit.dnb.de/cgi-bin/dokserv?id=3346563&prov=M&dok_var=1&dok_ext=htm
Author information:
Feldman, Yishai A.