Barnes, J. G. P.
High integrity software : the Spark approach to safety and security / John Barnes with Praxis Critical Systems Limited. - London ; Pearson Education, c2003. - xvii, 430 p. ; 24 cm. + 1 CD-ROM (4 3/4 in.)
Includes bibliographical references (p. 421-424) and index.
0321136160 (hbk.) 9780321136169 (hbk.)
2003046380
Computer software--Reliability.
Computer software--Development.
Ada (Computer program language)
QA76.76.R44 / B37 2003
005.1 / BAR 2003
High integrity software : the Spark approach to safety and security / John Barnes with Praxis Critical Systems Limited. - London ; Pearson Education, c2003. - xvii, 430 p. ; 24 cm. + 1 CD-ROM (4 3/4 in.)
Includes bibliographical references (p. 421-424) and index.
0321136160 (hbk.) 9780321136169 (hbk.)
2003046380
Computer software--Reliability.
Computer software--Development.
Ada (Computer program language)
QA76.76.R44 / B37 2003
005.1 / BAR 2003