Formal methods: foundations and applications: 16th brazilian symposium, sbmf 2013, brasilia, brazil, september 29 - october 4, 2013. proceedings
Auteur :
Iyoda, Juliano
ISBN :
9783642410703
Date de publication :
21 août 2013
Dimensions :
23,5 x 15,5 x 1,4 cm
Poids :
397 g
Langue :
Anglais
Pays d'origine :
Allemagne