Wir senden dir das abgebildete Buch
Software Development With Z
A Practical Approach to Formal Methods in Software Engineering
Autor*innen
Mehr zum Buch
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.
Buchkauf
Software Development With Z, J. B. Wordsworth
- Sprache
- Erscheinungsdatum
- 1992
- Einband
- (Paperback),
- Buchzustand
- Gebraucht - Gut
- Preis
- 6,09 €inkl. MwSt.
Keiner hat bisher bewertet.
- Titel
- Software Development With Z
- Untertitel
- A Practical Approach to Formal Methods in Software Engineering
- Sprache
- Englisch
- Autor*innen
- J. B. Wordsworth
- Verlag
- Addison-Wesley
- Erscheinungsdatum
- 1992
- Einband
- Paperback
- Seitenzahl
- 400
- ISBN10
- 0201627574
- ISBN13
- 9780201627572
- Reihe
- Kategorien
- Schlagwörter
- Entwicklung
- Beschreibung
- 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.