Formal Specification: Techniques and Applications (1999)
By:
Sign Up Now!
Already a Member? Log In
You must be logged into UK education collection to access this title.
Learn about membership options,
or view our freely available titles.
- Synopsis
- 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.
- Copyright:
- 1999
Book Details
- Book Quality:
- Publisher Quality
- ISBN-13:
- 9781447107910
- Related ISBNs:
- 9781852330026
- Publisher:
- Springer London
- Date of Addition:
- 02/22/21
- Copyrighted By:
- N/A
- Adult content:
- No
- Language:
- English
- Has Image Descriptions:
- No
- Categories:
- Nonfiction, Computers and Internet, Mathematics and Statistics, Philosophy
- Submitted By:
- Bookshare Staff
- Usage Restrictions:
- This is a copyrighted book.
Reviews
Other Books
- by Nimal Nissanke
- in Nonfiction
- in Computers and Internet
- in Mathematics and Statistics
- in Philosophy