Conte aos seus amigos sobre este item:
Verification, Model Checking, and Abstract Interpretation: 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings - Lecture Notes in Computer Science 2014 edition
Kenneth Mcmillan
Preço
R$ 314,90
excluindo impostos
Item sob encomenda (no estoque do fornecedor)
Espera-se estar pronto para envio 10 - 14 de nov
Presentes de Natal podem ser trocados até 31 de janeiro
O que dizem nossos clientes:
Adicione à sua lista de desejos do iMusic
Verification, Model Checking, and Abstract Interpretation: 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings - Lecture Notes in Computer Science 2014 edition
Kenneth Mcmillan
The papers cover a wide range of topics including program verification, model checking, abstract interpretation and abstract domains, program synthesis, static analysis, type systems, deductive methods, program certification, debugging techniques, program transformation, optimization, hybrid and cyber-physical systems.
511 pages, 120 black & white illustrations, biography
| Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
| Lançado | 22 de janeiro de 2014 |
| ISBN13 | 9783642540127 |
| Editoras | Springer-Verlag Berlin and Heidelberg Gm |
| Gênero | Aspects (Academic) > Science / Technology Aspects |
| Páginas | 493 |
| Dimensões | 155 × 235 × 26 mm · 707 g |
| Idioma | French |
| Editor | McMillan, Kenneth |
| Editor | Rival, Xavier |
Mostrar tudo
Mais por Kenneth Mcmillan
Ver tudo de Kenneth Mcmillan ( por exemplo Hardcover Book e Paperback Book )