verification, model checking, and abstract interpretation,11th international conference, vmcai 2010 madrid, spain, january 17-19, 2010 proceedings
Gilles (Edt) Barthe (Autor) · springer-verlag new york inc · Libro Físico
77,31 €
81,38 €
Ahorras: 4,07 €
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.