Java Software Development with Event B

A Practical Guide

Gebonden

€ 69,95

Afwijkende levertijd: 46-48 werkdagen.
Java Software Development with Event B

Gebonden

€ 69,95

Boeken gratis bezorgd vanaf € 15,- binnen NL en BE
Altijd de laagste prijs voor nieuwe Nederlandstalige boeken
Ruilen of retourneren binnen 14 dagen
Koop lokaal, ook online!
Bekijk winkelvoorraad

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.
ISBN
9781681736891
Vorm
Gebonden
Uitgever
Morgan & Claypool Publishers
Taal
Engels
Pagina's
99 pp.
Genre
Informatica & Exacte vakken
Geen recensies beschikbaar.
pro-mbookslibr3 : libris