عنوان
پدید آورنده
موضوع
رده
QA 76 .76 .R44 .B37 2003
QA
76
.
76
.
R44
.
B37
2003
کتابخانه
محل استقرار
136817
تابستان۳۸
English
دوشیم یرادهگن یرصبو یعمس شخبرد باتک نیاCD-ROM )91(
Barnes, J. G. P. )John Gilbert Presslie(
High integrity software: the Spark approach to safety and security
London
Pearson Education
2003
xvii, 430 p.; 24 cm. + 1 computer laser optical disc )4 3/4in.(
Includes bibliographical references and index
، Computer software-- Reliability
، Computer software-- Development
، Ada )Computer program language(
QA
76
.
76
.
R44
.
B37
2003
AU
John Barnes with Praxis Critical Systems Limited
TI
129
