Recomienda este artículo a tus amigos:
Computer Aided Verification: 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings - Lecture Notes in Computer Science 2004 edition
Rajeev Alur
Precio
€ 117,99
Pedido desde almacén remoto
Entrega prevista 31 de mar. - 9 de abr.
Nuestros clientes opinan:
Añadir a tu lista de deseos de iMusic
Computer Aided Verification: 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings - Lecture Notes in Computer Science 2004 edition
Rajeev Alur
536 pages, biography
| Medios de comunicación | Libros Paperback Book (Libro con tapa blanda y lomo encolado) |
| Publicado | 29 de junio de 2004 |
| ISBN13 | 9783540223429 |
| Editores | Springer-Verlag Berlin and Heidelberg Gm |
| Páginas | 536 |
| Dimensiones | 155 × 233 × 28 mm · 811 g |
| Lengua | German |
| Editor | Alur, Rajeev |
| Editor | Peled, Doron A. |
