Suchfeld einblenden
Person Kozen, Dexter
1 Treffer
Seite < 1 >
Mathematics of program construction
: 7th international conference ; proceedings / MPC 2004, Stirling, Scotland, UK, July 12 - 14, 2004. Dexter Kozen (ed.). - Berlin : Springer, 2004. - X, 399 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 3125)
ISBN 978-3-540-22380-1 / 3-540-22380-0 kart. : EUR 59.92 (freier Pr.), sfr 99.00 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Seite < 1 >
