Formal Specification Using Z.
Zusammenfassung
The feel-good place to buy books
Formal Specification Using Z. by David Lightfoot
This book aims to help readers learn about formal specification using the Z language. The author argues that formal specification offers benefits to the developers of computer systems and that it will make a contribution towards improving their quality. The book is primarily aimed at those who are not as familiar with mathematics as the mathematician and in this respect certain aspects of the explanations have been kept more informal and given less emphasis than others. The chapters of this book contain explanations of the mathematics of Z, interleaved with the development of an example specification. The chapters covering mathematics finish with a summary of the notion introduced in the chapter and a set of exercises. Sample solutions to selected exercises are included in the appendix.
Lightfoot, David: - David Lightfoot is Professor of Linguistics at Georgetown University, and Assistant Director of the National Science Foundation.
| SKU | Nicht verfügbar |
| ISBN 13 | 9780333544082 |
| ISBN 10 | 0333544080 |
| Titel | Formal Specification Using Z. |
| Autor | David Lightfoot |
| Serie | Computer Science S |
| Buchzustand | Nicht verfügbar |
| Bindungsart | Paperback |
| Verlag | Palgrave Macmillan |
| Erscheinungsjahr | 1991-04-26 |
| Seitenanzahl | 176 |
| Hinweis auf dem Einband | Die Abbildung des Buches dient nur Illustrationszwecken, die tatsächliche Bindung, das Cover und die Auflage können sich davon unterscheiden. |
| Hinweis | Nicht verfügbar |