Java Software Development with Event B: A Practical Guide - Synthesis Lectures on Software Engineering - Nestor Catano Collazos - Libros - Morgan & Claypool Publishers - 9781681736877 - 27 de enero de 2020
En caso de que portada y título no coincidan, el título será el correcto

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

Recibe un correo electrónico cuando el artículo esté disponible
¿Tienes un perfil? Iniciar sesión

Nuestros clientes opinan:

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores
Mejor valorado en Trustpilot
Añadir a tu lista de deseos de iMusic

También disponible 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

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 27 de enero de 2020
ISBN13 9781681736877
Editores Morgan & Claypool Publishers
Páginas 99
Dimensiones 150 × 220 × 10 mm   ·   185 g
Lengua Inglés  
Editor de series Baresi, Luciano

Ver todo de Nestor Catano Collazos ( Ej. Paperback Book )