High Integrity Software
- List Price: $199.99
- Binding: Hardcover
- Publisher: Kluwer Academic Pub
- Publish date: 05/01/2001
Description:
I General Applications of Formal Methods and Systems.- 1 Designware: Software Development by Refinement.- 2 B : Towards Zero Defect Software.- 3 The Use of B to Specify, Design and Verify Hardware.- 4 A System for Predictable Component-Based Software Construction.- 5 Autonomous Decentralized Systems.- II Case Study.- 6 Bay Area Rapid Transit System Case Study.- 7 Using SCR to Specify the BART Requirements.- 8 A Domain Language for a Class of Reactive Systems.- 9 Refinement-based Derivation of Train Controllers.- III Verification and Validation.- 10 Validation of a Relational Program.- 11 Verification of a Controller for BART.- 12 Using Virtual Reality to Validate System Models.
Expand description
Product notice
Returnable at the third party seller's discretion and may come without consumable supplements like access codes, CD's, or workbooks.
| Seller | Condition | Comments | Price |
|
booksdiscount11
|
New |
$112.73
|
|
discount_scientific_books
|
New |
$137.23
|
|
Basi6 International
|
New |
$137.91
|
Please Wait
Usually Processes in 1 business day