JOIN / SIGN IN

Welcome to Hatchards Rewards

Earn a Rewards Stamp for every £10 you spend in our shops or online*

Every 10 Rewards Stamps you earn adds £10 to your Rewards Balance

Spend your Rewards Balance in our shops or online, with no minimum redemption*

*Exclusions apply, see full T&Cs for details.

Learn More

Non-Fiction, Computing & Internet

Software Specification Methods

Henri Habrias (editor), Marc Frappier (editor)

Hardback Published on: 18/04/2006

£157.95

No reviews yet, be the first

Free UK delivery on orders over £25

Please note, this item can only be delivered to a UK address. Find out more

Not available
This product is currently unavailable

Make and edit your lists in your account

No stock available in any shop.

Not available
This product is currently unavailable

No stock available in any shop.

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.