Conte aos seus amigos sobre este item:
Hardware and Software: Verification and Testing: 5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers - Programming and Software Engineering Kedar Namjoshi 2011 edition
Preço
R$ 371,90
excluindo impostos
Item sob encomenda (no estoque do fornecedor)
Espera-se estar pronto para envio 26 de jan - 2 de fev
O que dizem nossos clientes:
Adicione à sua lista de desejos do iMusic
Hardware and Software: Verification and Testing: 5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers - Programming and Software Engineering
Kedar Namjoshi
The papers address all current issues, challenges and future directions of verification for hardware, software, and hybrid systems and present academic research in the verification of systems, generally divided into two paradigms - formal verification and dynamic verification (testing).
179 pages, biography
| Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
| Lançado | 10 de fevereiro de 2011 |
| ISBN13 | 9783642192364 |
| Editoras | Springer-Verlag Berlin and Heidelberg Gm |
| Páginas | 169 |
| Dimensões | 155 × 235 × 10 mm · 272 g |
| Idioma | Francês |
| Editor | Namjoshi, Kedar |
| Editor | Zeller, Andreas |
| Editor | Ziv, Avi |
Ver tudo de Kedar Namjoshi ( por exemplo Paperback Book )