Modeling in Event-B: System and Software Engineering - Jean-Raymond Abrial - Livros - Cambridge University Press - 9780521895569 - 13 de maio de 2010
Caso a capa e o título não sejam correspondentes, considere o título como correto

Modeling in Event-B: System and Software Engineering

Jean-Raymond Abrial

Preço
CA$ 296,26

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

Modeling in Event-B: System and Software Engineering

A practical text suitable for an introductory or advanced course in formal methods, this book presents a mathematical approach to modelling and designing systems using an extension of the B formal method: Event-B. Contains a wide variety of examples and exercises ranging in difficulty to suit readers at all levels.

612 pages, 170 b/w illus. 30 exercises

Mídia Livros     Hardcover Book   (Livro com lombada e capa dura)
Lançado 13 de maio de 2010
ISBN13 9780521895569
Editoras Cambridge University Press
Páginas 612
Dimensões 192 × 251 × 37 mm   ·   1,32 kg
Idioma English  
Mostrar tudo

Mais por Jean-Raymond Abrial

Outros também compraram

Ver tudo de Jean-Raymond Abrial ( por exemplo Paperback Book e Hardcover Book )