• Libros
  • A Roadmap for Formal Property Verification
A Roadmap for Formal Property Verification
DASGUPTA, PALLAB
Inglês
EAN
9781402047572
Editorial
Ano de edição
2006
Idioma
Inglês
Coleção
SIN COLECCION
Alto
235
Largura
155
Otros lectores lo han calificado con
Deixa-nos a tua opinião
0 opiniones
Tu puntuación
Déjanos tu opinión
/ caracteres