Using Event-B for Critical Device Software Systems - Neeraj Kumar Singh - Livros - Springer London Ltd - 9781447157908 - 7 de julho de 2015
Caso a capa e o título não sejam correspondentes, considere o título como correto

Using Event-B for Critical Device Software Systems 2013 edition

Neeraj Kumar Singh

Preço normal
元 1.312,28
Preço
元 811,96
Você economiza
38%

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 3 - 11 de jul

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

Também disponível como:

Using Event-B for Critical Device Software Systems 2013 edition

Defining a new development life-cycle methodology, together with a set of associated techniques and tools to develop highly critical systems using formal techniques, this book adopts a rigorous safety assessment approach explored via several layers (from requirements analysis to automatic source code generation).

326 pages, 20 black & white tables, biography

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 7 de julho de 2015
Data do lançamento original 2013
ISBN13 9781447157908
Editoras Springer London Ltd
Páginas 326
Dimensões 155 × 235 × 18 mm   ·   485 g
Idioma English  
Mostrar tudo

Mais por Neeraj Kumar Singh

Ver tudo de Neeraj Kumar Singh ( por exemplo Paperback Book e Hardcover Book )