Specification of Software Systems
Prijzen vanaf
VERGELIJK ALLE AANBIEDERS
(1)
Bol Partner
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, and the main formal methods.
Lees meer
65,00
Uitgelicht
|
65,00 |
Naar shop
|
Beschrijving
Bol Partner
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, and the main formal methods.
Vergelijk aanbieders (1)
Shop
Prijs
Verzendkosten
Totale prijs
Beschrijving
(1)
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, and the main formal methods.
Productspecificaties
| EAN |
|
|---|---|
| Maat |
|
Prijzen voor het laatst bijgewerkt op:
Gerelateerde producten
Uitgelichte Keuze
65,00
