automated technology for verification and analysis,6th international symposium, atva 2008, seoul, korea, october 20-23, 2008, proceedings
Sungdeok (Edt) Cha (Autor) · springer-verlag new york inc · Libro Físico
72,04 €
80,05 €
Ahorras: 8,00 €
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.