Conte aos seus amigos sobre este item:
Automated Technology for Verification and Analysis: 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings - Programming and Software Engineering 2008 edition
Sungdeok Cha
Preço
zł 215,90
Item sob encomenda (no estoque do fornecedor)
Data prevista de entrega 20 - 28 de nov
Presentes de Natal podem ser trocados até 31 de janeiro
O que dizem nossos clientes:
Adicione à sua lista de desejos do iMusic
Automated Technology for Verification and Analysis: 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings - Programming and Software Engineering 2008 edition
Sungdeok Cha
The papers are organized in topical sections on model checking, software verification, decision procedures, linear-time analysis, tool demonstration papers, timed and stochastic systems, theory, and short papers.
430 pages, biography
| Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
| Lançado | 6 de outubro de 2008 |
| ISBN13 | 9783540883869 |
| Editoras | Springer-Verlag Berlin and Heidelberg Gm |
| Páginas | 430 |
| Dimensões | 155 × 235 × 23 mm · 657 g |
| Idioma | French |
| Editor | Cha, Sungdeok |
| Editor | Choi, Jin-Young |
| Editor | Kim, Moonzoo |
| Editor | Viswanathan, Mahesh |
Ver tudo de Sungdeok Cha ( por exemplo Paperback Book )