Model Checking Software: 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings - Lecture Notes in Computer Science - - Livros - Springer International Publishing AG - 9783319325811 - 8 de abril de 2016
Caso a capa e o título não sejam correspondentes, considere o título como correto

Model Checking Software: 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings - Lecture Notes in Computer Science 1st ed. 2016 edition

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:

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

This bookconstitutes the refereed proceedings of the 23rd International Symposium on ModelChecking Software, SPIN 2016, held in Eindhoven, The Netherlands, in April 2016. The 16 papers presented, consisting of 11 regular papers, 1 idea paper, and 4tool demonstrations, were carefully reviewed and selected from 27 submissions.

245 pages, 75 black & white illustrations, biography

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 8 de abril de 2016
ISBN13 9783319325811
Editoras Springer International Publishing AG
Páginas 245
Dimensões 155 × 235 × 14 mm   ·   4,04 kg
Idioma Alemão  
Editor Bosnacki, Dragan
Editor Wijs, Anton

Mais da mesma editora