INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
9783642397219
NATIONAL BIBLIOGRAPHY NUMBER
Country Code
IR
Number
EN-37369
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
Unifying Theories of Programming and Formal Engineering Methods
General Material Designation
[Book]
First Statement of Responsibility
/ Zhiming Liu, Jim Woodcock, Huibiao Zhu
.PUBLICATION, DISTRIBUTION, ETC
Name of Publisher, Distributor, etc.
Springer
Date of Publication, Distribution, etc.
, 2013.
NOTES PERTAINING TO PUBLICATION, DISTRIBUTION, ETC.
Text of Note
Electronic
TOPICAL NAME USED AS SUBJECT
METHODS|ROBOTICS&COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|COMPUTER SCIENCE, THEORY
LIBRARY OF CONGRESS CLASSIFICATION
Class number
E-BOOK
PERSONAL NAME - PRIMARY RESPONSIBILITY
Zhiming Liu
ORIGINATING SOURCE
Country
ایران
ELECTRONIC LOCATION AND ACCESS
Host name
Unifying Theories of Programming and Formal Engineering Methods
Access number
محرمانه
Compression information
محرمانه
Date and Hour of Consultation and Access
974788.pdf
Electronic Format Type
متن
old catalog
e
BL
1
a
Y
