عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
3642113184
NATIONAL BIBLIOGRAPHY NUMBER
Country Code
IR
Number
ebook71317
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
19, 2010, Proceedings (Lecture ... Computer Science and General Issues)-Verification, Model Checking, and Abstract Interpretation: 11th International Conference, VMCAI 2010, Madrid, Spain, January 17
General Material Designation
[Electronic Resource]
.PUBLICATION, DISTRIBUTION, ETC
Name of Publisher, Distributor, etc.
Springer
Date of Publication, Distribution, etc.
, 2010.
NOTES PERTAINING TO PUBLICATION, DISTRIBUTION, ETC.
Text of Note
e
TOPICAL NAME USED AS SUBJECT
Entry Element
EDUCATIONAL RESEARCH&EDUCATION
PERSONAL NAME - PRIMARY RESPONSIBILITY
Entry Element
Gilles Barthe, Manuel Hermenegildo
ORIGINATING SOURCE
Country
ایران
ELECTRONIC LOCATION AND ACCESS
Host name
fdp.4813112463
Access number
عادی
Compression information
عادی
Date and Hour of Consultation and Access
3642113184.pdf
Electronic Format Type
متن
old catalog
e
BL
1
a
Y
