Dexter Kozen (ed.)
Berlin : Springer, c2004
図書等2004
x, 399 p. : ill. ; 24 cm
Includes bibliographies and index
ドイツ＝ドイツ連邦共和国
英語 (eng)
英語 (eng)
International Conference on the Mathematics of Program Construction [ Conference on Mathematics of Program Construction ] [ MPC ] [ Conference on the Mathematics of Program Construction, International ] [ Mathematics of Program Construction, International Conference ] [ International Conference, MPC ]
LCC:QA76.6
3540223800
BA68022472
LCCN : 2004108032
