High Integrity Software
Subtitle: The SPARK Approach to Safety and Security
Edition: Har/Cdr edition
Publisher: Addison Wesley
Published: April 25, 2003
Language: eng
Format: Hardcover
Number of pages: 448
ISBN-13: 9780321136169
Subjects: Ada; Computer Software Packages; Data security & data encryption; Software engineering; Ada (Programming Language); Software Quality Control; Computers; Computers - Languages / Programming; Computer Books: General; Programming - General; Programming Languages - Ada; Computers / Programming Languages / Ada; Programming - Software Development; Ada (Computer program language; Ada (Computer program language); Computer software; Development; Reliability