Computer Aided Verification: 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings - Lecture Notes in Computer Science - Rajeev Alur - Livros - Springer-Verlag Berlin and Heidelberg Gm - 9783540223429 - 29 de junho de 2004
Caso a capa e o título não sejam correspondentes, considere o título como correto

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
€ 120,99

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 2 - 11 de dez
Presentes de Natal podem ser trocados até 31 de janeiro
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

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.

Mostrar tudo

Mais por Rajeev Alur

Ver tudo de Rajeev Alur ( por exemplo Paperback Book e Book )