Barnes, John
High Integrity Software: The SPARK Approach to Safety and Security
- Availability
- To see availability please select your region.
- Books2Africa Collection
- Subjects
- Author(s)
- Published
- 17th March 2003
- Publisher
- Addison Wesley
- ISBN-10
- 0321136160
- ISBN-13
- 9780321136169
To reserve this book you first need to set your reservation location.