verification, model checking, and abstract interpretation: 5th international conference, vmcai 2004, venice, january 11-13, 2004, proceedings (en Inglés)
Steffen, Bernhard (Autor) · springer · Libro Físico
$ 1,381.18
$ 2,301.97
Ahorras: $ 920.79
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.