computer aided verification,22nd international conference, cav 2010, edinburgh, uk, july 15-19, 2010, proceedings
Tayssir (Edt) Touili (Autor) · springer-verlag new york inc · Libro Físico
$ 179.310
$ 249.040
Ahorras: $ 69.730
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.