عنوان
پدید آورنده
موضوع
رده
QA۷۶/۷۶ /ک۸م۴ ۱۳۸۱
QA
۷۶
/
۷۶
/
ک
۸
م
۴ ۱۳۸۱
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
0262032708
NATIONAL BIBLIOGRAPHY NUMBER
Number
۲۳۵۷۲۵۴
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Model Checking
First Statement of Responsibility
/Edmund M.Clarke,Jr,Orna Grumberg,and Doron A.Peled.
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Cambridge
Name of Publisher, Distributor, etc.
:the Mit press
Date of Publication, Distribution, etc.
=1381.
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
xiv ،۳۱۴ص.
Other Physical Details
: مصور.
GENERAL NOTES
Text of Note
انگلیسی.
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
کتابنامه: ص.۲۹۷-۳۰۷.
Text of Note
نمایه.
مدل...
TOPICAL NAME USED AS SUBJECT
سیستمهای کامپیوتری--امنیت
DEWEY DECIMAL CLASSIFICATION
Number
۰۰۴
/
۲۱
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
۷۶
/
۷۶
Book number
/
ک
۸
م
۴ ۱۳۸۱
PERSONAL NAME - PRIMARY RESPONSIBILITY
کلارک
Clarke,Edmund M
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Grumberg,Orna
Peled,Doron A
« برون سپاری/ در دست مستند سازی»
