عنوان
پدید آورنده
موضوع
رده
QA 76.76 .E93C38
QA
76
.
76
.
E93C38
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
3540223428
NATIONAL BIBLIOGRAPHY NUMBER
Country Code
IR
Number
40784
LANGUAGE OF THE ITEM
.Language of Text, Soundtrack etc
انگلیسی
COUNTRY OF PUBLICATION OR PRODUCTlON
Country of publication
IR
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Computer aided verification
General Material Designation
[Book]
Other Title Information
: 16th International conference,CAV 2004,Boston,MA,USA,July 2004
First Statement of Responsibility
/ Rajeev Alur, Doron A. Peled (eds.)
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Berlin
Name of Publisher, Distributor, etc.
: Springer
Date of Publication, Distribution, etc.
, 2004
SERIES
Series Title
Lecture Notes Computer Science
Volume Designation
; 3114
GENERAL NOTES
Text of Note
English
TOPICAL NAME USED AS SUBJECT
Computer software -- Evaluation -- Congresses
Electronic digital computers -- Evaluation -- Congresses
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
76
.
76
Book number
.
E93C38
PERSONAL NAME - SECONDARY RESPONSIBILITY
Alur, Rajeev, editor
Peled, Doron A, editor
ORIGINATING SOURCE
Country
Iran
Agency
University of Tehran. Library of Technical Camp 2
Old cataloging
p
BL
1
Y
