Model Checking Software: 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings - Lecture Notes in Computer Science - Susanne Graf - Livros - Springer-Verlag Berlin and Heidelberg Gm - 9783540213147 - 18 de março de 2004
Caso a capa e o título não sejam correspondentes, considere o título como correto

Susanne Graf
Model Checking Software: 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings - Lecture Notes in Computer Science 2004 edition

Preço
R$ 353,90
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 29 de set - 9 de out
Receba avisos sobre novos lançamentos de Susanne Graf

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

Since 1995, when the SPIN workshop series was instigated, SPIN workshops have been held on an annual basis in Montr eal (1995), New Brunswick (1996), Enschede (1997), Paris (1998), Trento (1999), Toulouse (1999), Stanford (2000), Toronto (2001), Grenoble (2002) and Portland (2003).

324 pages, biography

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 18 de março de 2004
ISBN13 9783540213147
Editoras Springer-Verlag Berlin and Heidelberg Gm
Páginas 314
Dimensões 155 × 235 × 17 mm   ·   498 g
Idioma Alemão  
Editor Graf, Susanne
Editor Mounier, Laurent

Mais por Susanne Graf

Mostrar tudo

Mais da mesma editora

Ver tudo de Susanne Graf