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
SFr. 159,99
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 24 - 28 de nov
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

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 Inglês  
Mostrar tudo

Mais por Jean-Raymond Abrial

Outros também compraram

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