High integrity software : the Spark approach to safety and security /

Bibliographic Details
Main Author:	Barnes, J. G. P. (John Gilbert Presslie)
Format:	Book
Language:	English
Published:	London ; Boston : Addison-Wesley, [2003]
Subjects:	Computer software > Reliability. Computer software > Development. Ada (Computer program language)

Description
Physical Description:	xvii, 430 pages : illustrations ; 24 cm. + 1 CD-ROM (4 3/4 in.)
Bibliography:	Includes bibliographical references (pages 421-424) and index.
ISBN:	0321136160 (hardcover)