Fme 2003 - formal methods: international symposium of formal methods europe. pisa italy, september 8-14, 2003, proceedings
Auteur :
Araki, Keijiro
ISBN :
9783540408284
Date de publication :
27 août 2003
Dimensions :
23,4 x 15,6 x 4,8 cm
Poids :
1425 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne