Java Software Development with Event B: A Practical Guide - Synthesis Lectures on Software Engineering - Nestor Catano Collazos - Books - Morgan & Claypool Publishers - 9781681736877 - January 27, 2020
In case cover and title do not match, the title is correct

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

Get an email once the item is available
Do you have a profile? Log in

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Also available as:

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

Media Books     Paperback Book   (Book with soft cover and glued back)
Released January 27, 2020
ISBN13 9781681736877
Publishers Morgan & Claypool Publishers
Pages 99
Dimensions 150 × 220 × 10 mm   ·   185 g
Language English  
Series Editor Baresi, Luciano

See all of Nestor Catano Collazos ( e.g. Paperback Book )