Conte aos seus amigos sobre este item:
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
Preço
€ 116,49
Item sob encomenda (no estoque do fornecedor)
Data prevista de entrega 11 - 23 de out
O que dizem nossos clientes:
Adicione à sua lista de desejos do 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
| Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
| Lançado | 29 de junho de 2004 |
| ISBN13 | 9783540223429 |
| Editoras | Springer-Verlag Berlin and Heidelberg Gm |
| Páginas | 536 |
| Dimensões | 155 × 233 × 28 mm · 811 g |
| Idioma | German |
| Editor | Alur, Rajeev |
| Editor | Peled, Doron A. |
