Format:
XV, 519 S. : graph. Darst.
Edition:
[Nachdr.]
ISBN:
0-387-98417-8
,
978-0-387-98417-9
Series Statement:
Graduate texts in computer science
Note:
Literaturverz. S. 501 - 508
Language:
German
Subjects:
Computer Science
Keywords:
Programm
;
Korrektheit
;
Verfeinerung
;
HOL
;
Verbandstheorie
;
Programm
;
Software
URL:
http://www.loc.gov/catdir/enhancements/fy0812/97047336-d.html
URL:
http://www.loc.gov/catdir/enhancements/fy0812/97047336-t.html
Author information:
Wright, Joakim von, 1955-
Bookmarklink