Model Checking Software: 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings - Lecture Notes in Computer Science - Bernd Fischer - Livros - Springer International Publishing AG - 9783319234038 - 3 de setembro de 2015
Caso a capa e o título não sejam correspondentes, considere o título como correto

Model Checking Software: 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings - Lecture Notes in Computer Science 1st ed. 2015 edition

Bernd Fischer

Preço
€ 50,99

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 6 - 14 de nov
Presentes de Natal podem ser trocados até 31 de janeiro

O que dizem nossos clientes:

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

Model Checking Software: 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings - Lecture Notes in Computer Science 1st ed. 2015 edition

This book constitutes the refereed proceedings of the 22nd International Symposium on Model Checking Software, SPIN 2015, held in Stellenbosch, South Africa, in August 2015. The 18 papers presented – 14 regular papers and 4 tool or new idea papers – were carefully reviewed and selected from 27 submissions.

319 pages, 66 black & white illustrations, biography

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 3 de setembro de 2015
ISBN13 9783319234038
Editoras Springer International Publishing AG
Páginas 319
Dimensões 155 × 235 × 18 mm   ·   5,15 kg
Idioma French  
Editor Fischer, Bernd
Editor Geldenhuys, Jaco
Mostrar tudo

Mais por Bernd Fischer

Ver tudo de Bernd Fischer ( por exemplo Paperback Book e Hardcover Book )