Conte aos seus amigos sobre este item:
Automated Technology for Verification and Analysis: 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 Proceedings - Programming and Software Engineering 2007 edition
Kedar S Namjoshi
Preço
Kč 1.528
Item sob encomenda (no estoque do fornecedor)
Espera-se estar pronto para envio 22 - 30 de jul
O que dizem nossos clientes:
Adicione à sua lista de desejos do iMusic
Automated Technology for Verification and Analysis: 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 Proceedings - Programming and Software Engineering 2007 edition
Kedar S Namjoshi
The 29 revised full papers presented together with seven short papers address theoretical methods to achieve correct software or hardware systems, including both functional and non functional aspects;
570 pages, biography
| Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
| Lançado | 9 de outubro de 2007 |
| ISBN13 | 9783540755951 |
| Editoras | Springer-Verlag Berlin and Heidelberg Gm |
| Páginas | 570 |
| Dimensões | 155 × 235 × 30 mm · 884 g |
| Idioma | French |
| Editor | Higashino, Teruo |
| Editor | Namjoshi, Kedar |
| Editor | Okamura, Yoshio |
| Editor | Yoneda, Tomohiro |
Ver tudo de Kedar S Namjoshi ( por exemplo Paperback Book )