Verified Software: Theories, Tools, and Experiments: 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers - Lecture Notes in Computer Science - - Livros - Springer International Publishing AG - 9783319296128 - 29 de janeiro de 2016

Caso a capa e o título não sejam correspondentes, considere o título como correto

Conte aos seus amigos sobre este item:

Verified Software: Theories, Tools, and Experiments: 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers - Lecture Notes in Computer Science 1st ed. 2016 edition

Name: Verified Software: Theories, Tools, and Experiments: 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers - Lecture Notes in Computer Science
Price: 296.9 BRL
Availability: OutOfStock

Preço

R$ 296,90

excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 6 - 12 de out

O que dizem nossos clientes:

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

Política de devolução de 14 dias, em conformidade com a lei europeia de proteção do consumidor

Melhor classificação na Trustpilot

Adicione à sua lista de desejos do iMusic

Ainda não avaliado

Verified Software: Theories, Tools, and Experiments: 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers - Lecture Notes in Computer Science

1st ed. 2016 edition

223 pages, 41 colour illustrations, biography

Mídia	Livros Paperback Book (Livro de capa flexível e brochura)
Lançado	29 de janeiro de 2016
ISBN13	9783319296128
Editoras	Springer International Publishing AG
Páginas	223
Dimensões	155 × 235 × 13 mm · 3,64 kg
Idioma	Alemão
Editor	Gurfinkel, Arie
Editor	Seshia, Sanjit A.