Formal Specification provides the reader with a practical and versatile approach to constructing program specifications. It includes both model-based (Z/VDM) and algebraic (CLEAR) paradigms of specification and emphasizes the range of languages and approaches available. Its main advantage over other specification books is that is offers an unrivaled breadth of coverage of the area, encompassing all the recent important advances.
| ISBN-13: | 9781852330026 |
| ISBN-10: | 1852330023 |
| Publisher: | Springer |
| Publication date: | 1999-07-27 |
| Edition description: | Softcover reprint of the original 1st ed. 1999 |
| Pages: | 315 |
| Product dimensions: | Height: 9.06 Inches, Length: 6.14 Inches, Weight: 1.0802650838 Pounds, Width: 0.72 Inches |
| Author: | Nimal Nissanke |
| Language: | en |
| Binding: | Paperback |
Discover more books in the same category
