Automated theorem proving in software engineering
Auteur :
Schumann, Johann M.
Éditeur :
Schumann, Johann M.
ISBN :
9783642087592
Date de publication :
1 déc. 2010
Dimensions :
23,4 x 15,6 x 1,3 cm
Poids :
379 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne