Delivery included to the United States

Software Specification Methods

Software Specification Methods

Hardback (18 Apr 2006)

Not available for sale

Out of stock

This service is protected by reCAPTCHA and the Google Privacy Policy and Terms of Service apply.

Publisher's 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.

Book information

ISBN: 9781905209347
Publisher: Wiley
Imprint: Wiley-ISTE
Pub date:
DEWEY: 004.0151
DEWEY edition: 22
Language: English
Number of pages: 418
Weight: 789g
Height: 243mm
Width: 161mm
Spine width: 30mm