Software Specification Methods: An Overview Using A Case Study (2) (Formal Approaches To Computing And Information Technology (facit) Ser.)
By: and
Sign Up Now!
Already a Member? Log In
You must be logged into Bookshare to access this title.
Learn about membership options,
or view our freely available titles.
- Synopsis
- This title provides a clear overview of the main methods, and has a practical focus that allows the reader to apply their knowledge to real-life situations. The following are just some of the techniques covered: UML, Z, TLA+, SAZ, B, OMT, VHDL, Estelle, SDL and LOTOS.
- Copyright:
- 2006
Book Details
- Book Quality:
- Publisher Quality
- ISBN-13:
- 9781118613948
- Related ISBNs:
- 9780470612514, 9781905209347
- Publisher:
- Wiley
- Date of Addition:
- 04/28/20
- Copyrighted By:
- ISTE Ltd
- Adult content:
- No
- Language:
- English
- Has Image Descriptions:
- No
- Categories:
- Nonfiction, Computers and Internet
- Submitted By:
- Bookshare Staff
- Usage Restrictions:
- This is a copyrighted book.
- Edited by:
- Henri Habrias
- Edited by:
- Marc Frappier