Error title
Some error text about your books and stuff.
Close

High Integrity Software

by Sourav Bhattacharya

  • ISBN: 9780792379492
  • ISBN10: 0792379497

High Integrity Software

by Sourav Bhattacharya

  • List Price: $199.99
  • Binding: Hardcover
  • Publisher: Kluwer Academic Pub
  • Publish date: 05/01/2001
  • ISBN: 9780792379492
  • ISBN10: 0792379497
used Add to Cart $32.61
You save: 84%
Marketplace Item
new Add to Cart $177.09
You save: 11%
FREE economy shipping!
Description: Preface. Part I: General Applications of Formal Methods and Systems. 1. Designware: Software Development by Refinement; D.R. Smith. 2. B: Towards Zero Defect Software; I. Sorensen, D. Neilson. 3. The Use of B to Specify, Design and Verify Hardware; W. Ifill, et al. 4. A System for Predictable Component-Based Software Construction; M. Aronszajn, et al. 5. Autonomous Decentralized Systems; K. Mori. Part II: Case Study. 6. Bay Area Rapid Transit System Case Study; V.L. Winter, et al. 7. Using SCR to Specify the BART Requirements; C. Heitmeyer. 8. Domain Language for a Class of Reactive Systems; D. Kapur, V.L. Winter. 9. Refinement-based Derivation of Train Controllers; V.L. Winter, et al. Part III: Verification and Validation. 10. Validation of a Relational Program; F.B. Bastani, et al. 11. Verification of a Controller for BART; L. King, et al. 12. Using Virtual Reality to Validate System Models; V.L. Winter, T.P. Caudell. Index.
Expand description
Seller Condition Comments Price  
Seller: Ergodebooks
Location: Richmond, TX Ask seller a question
Condition: Good
Buy with confidence. Excellent Customer Service & Return policy.Ships Fast. 24*7 Customer Service.
Price:
$32.61
Comments:
Buy with confidence. Excellent Customer Service & Return policy.Ships Fast. 24*7 Customer Service.
Seller: Ergodebooks
Location: Richmond, TX Ask seller a question
Condition: New
Buy with confidence. Excellent Customer Service & Return policy.Ships Fast. 24*7 Customer Service.
Price:
$150.23
Comments:
Buy with confidence. Excellent Customer Service & Return policy.Ships Fast. 24*7 Customer Service.
please wait
Please Wait

Notify Me When Available

Enter your email address below,
and we'll contact you when your school adds course materials for
.
Enter your email address below, and we'll contact you when is back in stock (ISBN: ).