Je koopt precies het boekdat op de foto staat
Software Development With Z
A Practical Approach to Formal Methods in Software Engineering
Auteurs
Meer over het boek
This book is a highly practical tutorial guide to the Z specification language and its role in software development. The book illustrates how familiar procedures and decisions can be made precise using mathematics. Beginning with a case study, this book is designed to be as self-contained as possible, taking the reader through the basic concepts in logic and set theory formulating precise ideas about software systems, and combines a formal approach with practical examples of its use in software development.
Een boek kopen
Software Development With Z, J. B. Wordsworth
- Taal
- Jaar van publicatie
- 1992
- Bindwijze
- (Paperback),
- Staat van het boek
- Goed
- Prijs
- € 6,09
Betaalmethoden
Nog niemand heeft beoordeeld.
- Titel
- Software Development With Z
- Ondertitel
- A Practical Approach to Formal Methods in Software Engineering
- Taal
- Engels
- Auteurs
- J. B. Wordsworth
- Uitgever
- Addison-Wesley
- Jaar van publicatie
- 1992
- Formaat
- Paperback
- Aantal pagina's
- 400
- ISBN10
- 0201627574
- ISBN13
- 9780201627572
- Reeks
- Categorieën
- Tags
- Ontwikkeling
- Aantekening
- This book is a highly practical tutorial guide to the Z specification language and its role in software development. The book illustrates how familiar procedures and decisions can be made precise using mathematics. Beginning with a case study, this book is designed to be as self-contained as possible, taking the reader through the basic concepts in logic and set theory formulating precise ideas about software systems, and combines a formal approach with practical examples of its use in software development.