Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I - Theoretical Computer Science and General Issues -  - Livros - Springer International Publishing AG - 9783319471655 - 6 de outubro de 2016
Caso a capa e o título não sejam correspondentes, considere o título como correto

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I - Theoretical Computer Science and General Issues 1st ed. 2016 edition

Preço
€ 97,99

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 22 - 30 de set
Adicione à sua lista de desejos do iMusic

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I - Theoretical Computer Science and General Issues 1st ed. 2016 edition

974 pages, 256 black & white illustrations, biography

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 6 de outubro de 2016
ISBN13 9783319471655
Editoras Springer International Publishing AG
Páginas 974
Dimensões 155 × 235 × 50 mm   ·   1,37 kg
Idioma German  
Editor Margaria, Tiziana
Editor Steffen, Bernhard