Join Books.org — it's free
Home > Books > High Integrity Software: The SPARK Approach to Safety and Security

Quality Control & Testing - Programming, Other Programming Languages, General Software Engineering
High Integrity Software: The SPARK Approach to Safety and Security by John Barnes — book cover

High Integrity Software: The SPARK Approach to Safety and Security

by John Barnes
Write a review
Log in to track your reading progress.

No ratings yet.

Log in to write a review.

Show only reviews of this edition

There are no reviews yet.