Decision Procedures
Strichman, Ofer
Anglès
EAN
9783540741046
Editorial
SPRINGER
Any d'edició
2008
Idioma
Anglès
Col·lecció
Texts in Theoretical Computer Science. An EATCS Series
Alt
235
Ample
155
Sin Stock
Envío gratis
Entrega: a partir de 10 días laborales
67,59 €
-5%
64,21 €
Otros lectores lo han calificado con
Deixa’ns la teva opinió
0 opinions
Tu puntuación
Déjanos tu opinión
/ caracteres