Software Specification Methods - Hardcover
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.
"synopsis" may belong to another edition of this title.
About the Author:
Henri Habrias, University of Nantes, France
Marc Frappier, University of Sherbrooke, Canada
"About this title" may belong to another edition of this title.
- PublisherWiley-ISTE
- Publication date2006
- ISBN 10 1905209347
- ISBN 13 9781905209347
- BindingHardcover
- Number of pages418
- EditorHabrias Henri, Frappier Marc
Buy New
Learn more about this copy
US$ 248.11
Shipping:
FREE
Within U.S.A.
Top Search Results from the AbeBooks Marketplace
Stock Image
Software Specification Methods
Seller:
Rating
Book Description Condition: New. Buy with confidence! Book is in new, never-used condition 1.8. Seller Inventory # bk1905209347xvz189zvxnew
Buy New
US$ 248.11
Convert currency