Conte aos seus amigos sobre este item:
Verified Software: Theorie, Tools, Experiments: 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers - Programming and Software Engineering 2014 edition
Ernie Cohen
Preço
R$ 312,90
excluindo impostos
Item sob encomenda (no estoque do fornecedor)
Espera-se estar pronto para envio 14 - 20 de nov
Presentes de Natal podem ser trocados até 31 de janeiro
O que dizem nossos clientes:
Adicione à sua lista de desejos do iMusic
Verified Software: Theorie, Tools, Experiments: 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers - Programming and Software Engineering 2014 edition
Ernie Cohen
This volume constitutes the thoroughly refereed post-conference proceedings of the 5th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2013, held in Menlo Park, CA, USA, in May 2013.
361 pages, 83 black & white illustrations, biography
| Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
| Lançado | 23 de janeiro de 2014 |
| ISBN13 | 9783642541070 |
| Editoras | Springer-Verlag Berlin and Heidelberg Gm |
| Gênero | Aspects (Academic) > Science / Technology Aspects |
| Páginas | 345 |
| Dimensões | 155 × 235 × 19 mm · 508 g |
| Idioma | French |
| Editor | Cohen, Ernie |
| Editor | Rybalchenko, Andrey |
Ver tudo de Ernie Cohen ( por exemplo Paperback Book )