Model Checking Software: 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings - Lecture Notes in Computer Science - Dragan Bosnacki - Livros - Springer-Verlag Berlin and Heidelberg Gm - 9783540733690 - 21 de junho de 2007
Caso a capa e o título não sejam correspondentes, considere o título como correto

Dragan Bosnacki
Model Checking Software: 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings - Lecture Notes in Computer Science 2007 edition

Preço
€ 50,99

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 17 - 25 de nov
Presentes de Natal podem ser trocados até 31 de janeiro
Receba avisos sobre novos lançamentos de Dragan Bosnacki

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 book presents the proceedings of the 14th International SPIN workshop on Model Checking Software, held in Berlin, Germany. The papers are organized into topical sections covering directed model checking, partial order reduction, program analysis, exploration advances, modeling and case studies, and tool demonstrations.

285 pages, biography

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 21 de junho de 2007
ISBN13 9783540733690
Editoras Springer-Verlag Berlin and Heidelberg Gm
Páginas 285
Dimensões 155 × 235 × 15 mm   ·   476 g
Idioma Alemão  
Editor Bosnacki, Dragan
Editor Edelkamp, Stefan

Mais da mesma editora

Ver tudo de Dragan Bosnacki