High Integrity Software: The SPARK Approach to Safety and Security
Full Title: | High Integrity Software: The SPARK Approach to Safety and Security |
---|---|
ISBN: | 0321136160 |
ISBN13: | 9780321136169 |
List Price: | USD $43.62 |
Authors: |
Barnes, John |