Principles of the Spin Model Checker - Mordechai Ben-Ari - Livros - Springer London Ltd - 9781846287695 - 8 de janeiro de 2008
Caso a capa e o título não sejam correspondentes, considere o título como correto

Principles of the Spin Model Checker 2008 edition

Mordechai Ben-Ari

Preço
€ 74,49

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 1 - 10 de dez
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

Principles of Spin is an introductory book, the only requirement is a background in programming. The Spin model checker is not only a widely used professional tool but it is also a superb tool for teaching important concepts of computer science such as verification, concurrency and nondeterminism.

220 pages, 1, black & white illustrations

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 8 de janeiro de 2008
ISBN13 9781846287695
Editoras Springer London Ltd
Páginas 220
Dimensões 141 × 222 × 24 mm   ·   535 g
Idioma Inglês  
Mostrar tudo

Mais por Mordechai Ben-Ari

Ver tudo de Mordechai Ben-Ari ( por exemplo Paperback Book e Hardcover Book )