• Libros
  • A Roadmap for Formal Property Verification
A Roadmap for Formal Property Verification
DASGUPTA, PALLAB
Anglès
EAN
9781402047572
Editorial
Any d'edició
2006
Idioma
Anglès
Col·lecció
SIN COLECCION
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