NATIONAL BIBLIOGRAPHY NUMBER
Country Code
IR
Number
EN-26997
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
18, 2011. Proceedings-Software Engineering and Formal Methods: 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14
General Material Designation
[Book]
First Statement of Responsibility
/ Holger Hermanns (auth.), Gilles Barthe, Alberto Pardo, Gerardo Schneider (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
ARCHITECTURE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY&COMPUTER SCIENCE, HARDWARE
LIBRARY OF CONGRESS CLASSIFICATION
Class number
E-BOOK
PERSONAL NAME - PRIMARY RESPONSIBILITY
Holger Hermanns (auth.)
ORIGINATING SOURCE
Country
ایران
ELECTRONIC LOCATION AND ACCESS
Host name
Software Engineering and Formal Methods: 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings
Access number
عادی
Compression information
محرمانه
Date and Hour of Consultation and Access
1601420.pdf
Electronic Format Type
متن
old catalog
e
BL
1
a
Y
