Exactement cet exemplaire ira dans le panier
Software Development With Z
A Practical Approach to Formal Methods in Software Engineering
Auteurs
En savoir plus sur le livre
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.
Achat du livre
Software Development With Z, J. B. Wordsworth
- Langue
- Année de publication
- 1992
- Reliure
- (souple),
- État du livre
- Bon
- Prix
- 6,09 €
Modes de paiement
Personne n'a encore évalué .
- Titre
- Software Development With Z
- Sous-titre
- A Practical Approach to Formal Methods in Software Engineering
- Langue
- Anglais
- Auteurs
- J. B. Wordsworth
- Éditeur
- Addison-Wesley
- Publié
- 1992
- Format
- souple
- Pages
- 400
- ISBN10
- 0201627574
- ISBN13
- 9780201627572
- Séries
- Catégories
- Mots clés
- Développement
- Description
- 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.