High integrity software

Saved in:
Bibliographic Details
Group Author: Winter Victor L; Bhattacharya Sourav
Published: Kluwer Academic Publishers,
Publisher Address: Boston, MA
Publication Dates: 2001.
Literature type: Book
Language: English
Series: The Kluwer international series in engineering and computer science ; SECS 577
Subjects:
Carrier Form: xiv, 320 p.: ill. ; 24 cm.
ISBN: 0792379497 (alk. paper)
Index Number: TP311
CLC: TP311.5
Call Number: TP311.5/H638
Contents: Includes bibliographical references and index.