Het boek is momenteel niet op voorraad
Meer over het boek
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.
Een boek kopen
Specification of software systems, Vangalur S. Alagar
- Taal
- Jaar van publicatie
- 1998
Zodra we het ontdekt hebben, sturen we een e-mail.
Betaalmethoden
We missen je recensie hier.