Become a Readings Member to make your shopping experience even easier. Sign in or sign up for free!

Become a Readings Member. Sign in or sign up for free!

Hello Readings Member! Go to the member centre to view your orders, change your details, or view your lists, or sign out.

Hello Readings Member! Go to the member centre or sign out.

Software Specification Methods: An Overview Using a Case Study
Hardback

Software Specification Methods: An Overview Using a Case Study

$703.99
Sign in or become a Readings Member to add this title to your wishlist.

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.

Read More
In Shop
Out of stock
Shipping & Delivery

$9.00 standard shipping within Australia
FREE standard shipping within Australia for orders over $100.00
Express & International shipping calculated at checkout

MORE INFO
Format
Hardback
Publisher
Wiley-Blackwell US
Country
United Kingdom
Date
18 April 2006
Pages
418
ISBN
9781905209347

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.

Read More
Format
Hardback
Publisher
Wiley-Blackwell US
Country
United Kingdom
Date
18 April 2006
Pages
418
ISBN
9781905209347