Kupujesz dokładnie tę książkę,która jest na zdjęciu.
Software Development With Z
A Practical Approach to Formal Methods in Software Engineering
Autorzy
Więcej o książce
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.
Zakup książki
Software Development With Z, J. B. Wordsworth
- Język
- Rok wydania
- 1992
- Oprawa
- (miękka),
- Stan książki
- Dobry
- Cena
- 26,79 zł
Metody płatności
Nikt jeszcze nie ocenił.
- Tytuł
- Software Development With Z
- Podtytuł
- A Practical Approach to Formal Methods in Software Engineering
- Język
- angielski
- Autorzy
- J. B. Wordsworth
- Wydawca
- Addison-Wesley
- Rok wydania
- 1992
- Oprawa
- miękka
- Liczba stron
- 400
- ISBN10
- 0201627574
- ISBN13
- 9780201627572
- Seria
- Kategorie
- Tagi
- Rozwój
- Opis
- 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.