Theory and applications of satisfiability testing - sat 2009
Auteur :
Kullmann, Oliver
ISBN :
9783642027765
Date de publication :
19 juin 2009
Dimensions :
23,5 x 15,5 x 3,0 cm
Poids :
842 g
Langue :
Anglais
Pays d'origine :
Allemagne