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
$ 108.430
$ 150.600
Ahorras: $ 42.170
Elige la lista en la que quieres agregar tu producto o crea una nueva lista
Ir a Mis Listas¿Tienes una pregunta sobre el libro? Inicia sesión para poder agregar tu propia pregunta.