My Orders
Wishlist
Help
Sell On Loot
Software Specification Methods (Electronic book text, Revised ed.)
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.
Not available
Add to wish listReview this Item
Product Description
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.
Customer Reviews
No reviews or ratings yet - be the first to create one!
Product Details
General
Imprint | Wiley-Iste |
Country of origin | United States |
Release date | March 2013 |
Availability | We don't currently have any sources for this product. If you add this item to your wish list we will let you know when it becomes available. |
First published | 2006 |
Editors | Henri Habrias, Marc Frappier |
Format | Electronic book text |
Pages | 418 |
Edition | Revised ed. |
ISBN-13 | 978-1-118-61366-5 |
Barcode | 9781118613665 |
Categories | |
LSN | 1-118-61366-X |
Similar Products | Recommended ProductsSee more 
Trending On Loot
Be the first to know about our
latest deals & promos! Subscribe Now
