NATIONAL BIBLIOGRAPHY NUMBER
Country Code
IR
Number
EN-25937
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
22, 2009, Revised Selected Papers-Hardware and Software: Verification and Testing: 5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19
General Material Designation
[Book]
First Statement of Responsibility
/ David Harel (auth.), Kedar Namjoshi, Andreas Zeller, Avi Ziv (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
David Harel (auth.)
ORIGINATING SOURCE
Country
ایران
ELECTRONIC LOCATION AND ACCESS
Host name
Hardware and Software: Verification and Testing: 5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers
Access number
عادی
Compression information
محرمانه
Date and Hour of Consultation and Access
1518983.pdf
Electronic Format Type
متن
old catalog
e
BL
1
a
Y
