Java Software Development with Event B: A Practical Guide - Synthesis Lectures on Software Engineering - Nestor Catano Collazos - Livros - Morgan & Claypool Publishers - 9781681736877 - 27 de janeiro de 2020
Caso a capa e o título não sejam correspondentes, considere o título como correto

Nestor Catano Collazos
Java Software Development with Event B: A Practical Guide - Synthesis Lectures on Software Engineering

Receba um e-mail quando o item estiver disponível
Você tem um perfil? Entrar

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:

Formal methods offer a range of mathematical techniques and mathematical tools to validate software requirements in the early stages of software development. This book is a living proof of the use of formal methods to develop software. The particular formalisms used are EVENT B and refinement calculus.

99 pages

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 27 de janeiro de 2020
ISBN13 9781681736877
Editoras Morgan & Claypool Publishers
Páginas 99
Dimensões 150 × 220 × 10 mm   ·   185 g
Idioma Inglês  
Editor de séries Baresi, Luciano

Ver tudo de Nestor Catano Collazos ( por exemplo Paperback Book )