Le livre est actuellement en rupture de stock
En savoir plus sur le livre
This book provides an introduction to program specification, illustrating the advantages it confers upon the software development process. Covering all three major specification languages, (Larch, VDM, and Z), the book discusses specification in general, the abstraction process, the mathematical tools required, the main formal methods, as well as examples of their use.
Achat du livre
Specification of software systems, Vangalur S. Alagar
- Langue
- Année de publication
- 1998
Nous vous informerons par e-mail dès que nous l’aurons retrouvé.
Modes de paiement
Il manque plus que ton avis ici.