{
"item_title" : "Software Specification Methods",
"item_author" : [" Marc Frappier", "Henri Habrias "],
"item_description" : "An up to date survey of specification techniques that provides a basic overview of the main methods with a practical focus. Covers the techniques of: UML, Z, SAZ, B, JSD, OMT, VHDL, Estelle, SDL and LOTOS. Each technique is demonstrated using the same case study to enable the reader to easily compare and contrast the different techniques.",
"item_img_path" : "https://covers4.booksamillion.com/covers/bam/1/85/233/353/1852333537_b.jpg",
"price_data" : {
"retail_price" : "109.99", "online_price" : "109.99", "our_price" : "109.99", "club_price" : "109.99", "savings_pct" : "0", "savings_amt" : "0.00", "club_savings_pct" : "0", "club_savings_amt" : "0.00", "discount_pct" : "10", "store_price" : ""
}
}
Overview
An up to date survey of specification techniques that provides a basic overview of the main methods with a practical focus. Covers the techniques of: UML, Z, SAZ, B, JSD, OMT, VHDL, Estelle, SDL and LOTOS. Each technique is demonstrated using the same case study to enable the reader to easily compare and contrast the different techniques.
This item is Non-Returnable
Customers Also Bought
- 1
Details
- ISBN-13: 9781852333539
- ISBN-10: 1852333537
- Publisher: Springer
- Publish Date: October 2000
- Dimensions: 9.24 x 6.16 x 0.8 inches
- Shipping Weight: 1.08 pounds
- Page Count: 282
Related Categories
You May Also Like...
- 1
