Wiley
Wiley.com
Print this page Share

Software Specification Methods

Henri Habrias (Editor), Marc Frappier (Editor)
ISBN: 978-1-905209-34-7
Hardcover
418 pages
May 2006, Wiley-ISTE
US $165.00 Add to Cart

This price is valid for United States. Change location to view local pricing and availability.

Software Specification Methods (1905209347) cover image
Other Available Formats: E-book

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.

Buy Both and Save 25%!

+

Software Specification Methods (US $165.00)

-and- Network Coding (US $125.00)

Total List Price: US $290.00
Discounted Price: US $217.50 (Save: US $72.50)

Add BOTH to Cart
Cannot be combined with any other offers. Learn more.