Computer-Aided Reasoning
VV.AA.
Anglès
EAN
9780792378495
Editorial
Any d'edició
2000
Idioma
Anglès
Col·lecció
Advances in Formal Methods
Alt
235
Ample
155
Otros lectores lo han calificado con
Deixa’ns la teva opinió
0 opinions
Tu puntuación
Déjanos tu opinión
/ caracteres