Conte aos seus amigos sobre este item:
Computer Aided Verification: 12th International Conference, Cav 2000 Chicago, Il, Usa, July 15-19, 2000, Proceedings - Lecture Notes in Computer Science
A E Emerson
Preço
R$ 611,90
excluindo impostos
Item sob encomenda (no estoque do fornecedor)
Espera-se estar pronto para envio 24 - 30 de set
O que dizem nossos clientes:
Adicione à sua lista de desejos do iMusic
Computer Aided Verification: 12th International Conference, Cav 2000 Chicago, Il, Usa, July 15-19, 2000, Proceedings - Lecture Notes in Computer Science
A E Emerson
This text constitutes the refereed proceedings of the 12th International Conference on Computer Aided Verification, CAV 2000, held in Chicago, IL, USA in July 2000. The 35 revised full papers presented together with nine tool papers were carefully reviewed and selected from 91 submissions.
600 pages, biography
| Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
| Lançado | 28 de junho de 2000 |
| ISBN13 | 9783540677703 |
| Editoras | Springer-Verlag Berlin and Heidelberg Gm |
| Páginas | 600 |
| Dimensões | 155 × 233 × 30 mm · 830 g |
| Idioma | German |
| Editor | Emerson, E. Allen |
| Editor | Sistla, A. Prasad |
Ver tudo de A E Emerson ( por exemplo Paperback Book )