Menu
Home
Advanced Search
Directory of Libraries
Languages
فارسی
English
العربی
عنوان
Systems and software verification: model-checking techniques and tools
پدید آورنده
موضوع
، Computer systems-- Verification,، Computer software-- Verification
رده
QA
76
.
76
.
V47
.
S97
2001
کتابخانه
Central Library of Sharif University of Technology
محل استقرار
استان:
Tehran
ـ شهر:
Tehran
تماس با کتابخانه :
66005817
-
021
OTHER STANDARD IDENTIFIER
Standard Number
130960
Standard Number
130944
Standard Number
150732
LANGUAGE OF THE ITEM
.Language of Text, Soundtrack etc
تابستان۱۸
.Language of Text, Soundtrack etc
English
TITLE AND STATEMENT OF RESPONSIBILITY
General Material Designation
)91(
Title Proper
Systems and software verification: model-checking techniques and tools
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Berlin
Name of Publisher, Distributor, etc.
Springer
Date of Publication, Distribution, etc.
2001
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
xii, 190 p.: ill.; 24 cm
GENERAL NOTES
Text of Note
Includes bibliographical references and index
TOPICAL NAME USED AS SUBJECT
Entry Element
، Computer systems-- Verification
Entry Element
، Computer software-- Verification
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
76
.
76
.
V47
.
S97
2001
PERSONAL NAME - PRIMARY RESPONSIBILITY
Relator Code
TI
Entry Element
B. Berard ... ]et al.[
AU ecirtaeB ,drareB
LOCATION AND CALL NUMBER
Shelving Form of Title, Author, Author/Title
129
Shelving Form of Title, Author, Author/Title
129
Shelving Form of Title, Author, Author/Title
131
Proposal/Bug Report
×
Proposal/Bug Report
×
Warning!
Enter The Information Carefully
Error Report
Proposal