computer aided verification: 24th international conference, cav 2012, berkeley, ca, usa, july 7-13, 2012 proceedings (en Inglés)
parthasarathy, madhusudan
computer aided verification: 24th international conference, cav 2012, berkeley, ca, usa, july 7-13, 2012 proceedings (en Inglés)
Parthasarathy, Madhusudan (Autor) · springer · Libro Físico
S/ 322,23
S/ 644,46
Ahorras: S/ 322,23
Elige la lista en la que quieres agregar tu producto o crea una nueva lista
Ir a Mis Listascomputer aided verification: 24th international conference, cav 2012, berkeley, ca, usa, july 7-13, 2012 proceedings (en Inglés)
parthasarathy, madhusudan
¿Tienes una pregunta sobre el libro? Inicia sesión para poder agregar tu propia pregunta.
