Software Specification Methods: An Overview Using a Case Study, (9781905209347) — Readings Books
Software Specification Methods: An Overview Using a Case Study
Hardback

Software Specification Methods: An Overview Using a Case Study

$628.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

Stock availability can be subject to change without notice. We recommend calling the shop or contacting our online team to check availability of low stock items. Please see our Shopping Online page for more details.

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