Kupuješ přesně tu knihu, která je na fotce
Software Development With Z
A Practical Approach to Formal Methods in Software Engineering
Autoři
Více o knize
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.
Nákup knihy
Software Development With Z, J. B. Wordsworth
- Jazyk
- Rok vydání
- 1992
- Vazba
- (měkká),
- Stav knihy
- Dobrá
- Cena
- 149 Kč
Doručení
Platební metody
Nikdo zatím neohodnotil.
- Titul
- Software Development With Z
- Podtitul
- A Practical Approach to Formal Methods in Software Engineering
- Jazyk
- anglicky
- Autoři
- J. B. Wordsworth
- Vydavatel
- Addison-Wesley
- Rok vydání
- 1992
- Vazba
- měkká
- Počet stran
- 400
- ISBN10
- 0201627574
- ISBN13
- 9780201627572
- Série
- Kategorie
- Štítky
- Vývoj
- Anotace
- 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.