High integrity software /

Bibliographic Details
Other Authors: Winter, Victor L., Bhattacharya, Sourav
Format: Book
Language:English
Published: Boston, MA : Kluwer Academic Publishers, 2001.
Series:Kluwer international series in engineering and computer science ; SECS 577.
Subjects:
Description
Physical Description:xiv, 320 pages : illustrations ; 24 cm.
Bibliography:Includes bibliographical references and index.
ISBN:0792379497 (alk. paper)