High Integrity Software: The SPARK Approach to Safety and Security / Edition 1

High Integrity Software: The SPARK Approach to Safety and Security / Edition 1

ISBN-10:
0321136160
ISBN-13:
9780321136169
Pub. Date:
06/20/2003
Publisher:
Addison-Wesley

Hardcover

Select a Purchase Option
  • purchase options

Temporarily Out of Stock Online

Customer Reviews

Most Helpful Customer Reviews

See All Customer Reviews