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

Conte aos seus amigos sobre este item:

Rajeev Alur
Computer Aided Verification: 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings - Lecture Notes in Computer Science Rajeev Alur 2004 edition

Name: Computer Aided Verification: 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings - Lecture Notes in Computer Science
Price: 572.9 BRL
Availability: OutOfStock
Author: Rajeev Alur

Preço

R$ 572,90

excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 30 de set - 6 de out

Receba avisos sobre novos lançamentos de Rajeev Alur

O que dizem nossos clientes:

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

Política de devolução de 14 dias, em conformidade com a lei europeia de proteção do consumidor

Melhor classificação na Trustpilot

Adicione à sua lista de desejos do iMusic

Ainda não avaliado

Computer Aided Verification: 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings - Lecture Notes in Computer Science

Rajeev Alur

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	Alemão
Editor	Alur, Rajeev
Editor	Peled, Doron A.