NATIONAL BIBLIOGRAPHY NUMBER
Country Code
IR
Number
EN-32350
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
21, 2010, Proceedings, Part II-Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18
General Material Designation
[Book]
First Statement of Responsibility
/ Tiziana Margaria, Bernhard Steffen
.PUBLICATION, DISTRIBUTION, ETC
Name of Publisher, Distributor, etc.
Springer
Date of Publication, Distribution, etc.
, 2010.
NOTES PERTAINING TO PUBLICATION, DISTRIBUTION, ETC.
Text of Note
Electronic
TOPICAL NAME USED AS SUBJECT
MINERAL PROCESSING& ARCHITECTURE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY|MINING &COMPUTER SCIENCE, HARDWARE
LIBRARY OF CONGRESS CLASSIFICATION
Class number
E-BOOK
PERSONAL NAME - PRIMARY RESPONSIBILITY
Tiziana Margaria
ORIGINATING SOURCE
Country
ایران
ELECTRONIC LOCATION AND ACCESS
Host name
Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II
Access number
عادی
Compression information
محرمانه
Date and Hour of Consultation and Access
1541325.pdf
Electronic Format Type
متن
old catalog
e
BL
1
a
Y
