INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
9783642277054
NATIONAL BIBLIOGRAPHY NUMBER
Country Code
IR
Number
EN-39587
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
Verified Software: Theories, Tools, Experiments
General Material Designation
[Book]
First Statement of Responsibility
/ ller, Andreas PodelskiیRajeev Joshi, Peter M
fa
.PUBLICATION, DISTRIBUTION, ETC
Name of Publisher, Distributor, etc.
Springer
Date of Publication, Distribution, etc.
, 2012.
NOTES PERTAINING TO PUBLICATION, DISTRIBUTION, ETC.
Text of Note
Electronic
TOPICAL NAME USED AS SUBJECT
COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
LIBRARY OF CONGRESS CLASSIFICATION
Class number
E-BOOK
PERSONAL NAME - PRIMARY RESPONSIBILITY
Rajeev Joshi
ORIGINATING SOURCE
Country
ایران
ELECTRONIC LOCATION AND ACCESS
Host name
Verified Software: Theories, Tools, Experiments
Access number
محرمانه
Compression information
محرمانه
Date and Hour of Consultation and Access
973137.pdf
Electronic Format Type
متن
old catalog
e
BL
1
a
Y
