automated technology for verification and analysis: second international conference, atva 2004, taipei, taiwan, roc, october 31 - november 3, 2004. pr (en Inglés)
Wang, F. (Autor) · springer · Libro Físico
$ 151.119
$ 251.865
Ahorras: $ 100.746
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.