Java Software Development with Event B: A Practical Guide - Synthesis Lectures on Software Engineering - Nestor Catano Collazos - Livres - Morgan & Claypool Publishers - 9781681736877 - 27 janvier 2020
Si la couverture et le titre ne correspondent pas, le titre est correct.

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

Recevez un courriel lorsque l'article est disponible
Avez-vous un profil ? Connectez-vous

Nos clients disent :

Politique de retour de 14 jours conformément à la loi européenne sur la protection des consommateurs
Meilleur classement sur Trustpilot
Ajouter à votre liste de souhaits iMusic

Également disponible en tant que :

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édias Livres     Paperback Book   (Livre avec couverture souple et dos collé)
Validé 27 janvier 2020
ISBN13 9781681736877
Éditeurs Morgan & Claypool Publishers
Pages 99
Dimensions 150 × 220 × 10 mm   ·   185 g
Langue et grammaire Anglais  
Éditeur de séries Baresi, Luciano

Mere med samme udgiver

Voir tous les Nestor Catano Collazos ( par ex. Paperback Book )