NATIONAL BIBLIOGRAPHY NUMBER
Country Code
IR
Number
EN-25428
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
20, 2011. Proceedings-Computer Aided Verification: 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14
General Material Designation
[Book]
First Statement of Responsibility
/ Vijay Ganesh, Adam Kieun, Shay Artzi, Philip J. Guo (auth.), Ganesh Gopalakrishnan, Shaz Qadeer (eds.)
.PUBLICATION, DISTRIBUTION, ETC
Name of Publisher, Distributor, etc.
Verlag Berlin Heidelberg-Springer
Date of Publication, Distribution, etc.
, 2011.
NOTES PERTAINING TO PUBLICATION, DISTRIBUTION, ETC.
Text of Note
Electronic
TOPICAL NAME USED AS SUBJECT
COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
LIBRARY OF CONGRESS CLASSIFICATION
Class number
E-BOOK
PERSONAL NAME - PRIMARY RESPONSIBILITY
Vijay Ganesh
ORIGINATING SOURCE
Country
ایران
ELECTRONIC LOCATION AND ACCESS
Host name
Computer Aided Verification: 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings
Access number
عادی
Compression information
محرمانه
Date and Hour of Consultation and Access
1477708.pdf
Electronic Format Type
متن
old catalog
e
BL
1
a
Y
