Menu
Home
Advanced Search
Directory of Libraries
Languages
فارسی
English
العربی
عنوان
High integrity software: the Spark approach to safety and security
پدید آورنده
Barnes, J. G. P. )John Gilbert Presslie(
موضوع
، Computer software-- Reliability,، Computer software-- Development,، Ada )Computer program language(
رده
QA
76
.
76
.
R44
.
B37
2003
کتابخانه
Central Library of Sharif University of Technology
محل استقرار
استان:
Tehran
ـ شهر:
Tehran
تماس با کتابخانه :
66005817
-
021
OTHER STANDARD IDENTIFIER
Standard Number
136817
LANGUAGE OF THE ITEM
.Language of Text, Soundtrack etc
تابستان۳۸
.Language of Text, Soundtrack etc
English
TITLE AND STATEMENT OF RESPONSIBILITY
General Material Designation
دوشیم یرادهگن یرصبو یعمس شخبرد باتک نیاCD-ROM )91(
First Statement of Responsibility
Barnes, J. G. P. )John Gilbert Presslie(
Title Proper
High integrity software: the Spark approach to safety and security
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
London
Name of Publisher, Distributor, etc.
Pearson Education
Date of Publication, Distribution, etc.
2003
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
xvii, 430 p.; 24 cm. + 1 computer laser optical disc )4 3/4in.(
GENERAL NOTES
Text of Note
Includes bibliographical references and index
TOPICAL NAME USED AS SUBJECT
Entry Element
، Computer software-- Reliability
Entry Element
، Computer software-- Development
Entry Element
، Ada )Computer program language(
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
76
.
76
.
R44
.
B37
2003
PERSONAL NAME - PRIMARY RESPONSIBILITY
Relator Code
AU
Entry Element
John Barnes with Praxis Critical Systems Limited
TI
LOCATION AND CALL NUMBER
Shelving Form of Title, Author, Author/Title
129
Proposal/Bug Report
×
Proposal/Bug Report
×
Warning!
Enter The Information Carefully
Error Report
Proposal