عنوان
پدید آورنده
موضوع
رده
TJ223 .D4 2010
TJ223
.
D4
2010
کتابخانه
محل استقرار
NATIONAL BIBLIOGRAPHY NUMBER
Country Code
IR
Number
793
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
Design and verification of microprocessor systems for high-assurance application
General Material Designation
[Book]
First Statement of Responsibility
/ David S. Hardin, editor
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
New York ;London
Name of Publisher, Distributor, etc.
: Springer
Date of Publication, Distribution, etc.
, 2010.
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
xiv, 436 p. , ill.
GENERAL NOTES
Text of Note
Language: انگلیسی
NOTES PERTAINING TO PUBLICATION, DISTRIBUTION, ETC.
Text of Note
Print
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliographical references and index.
TOPICAL NAME USED AS SUBJECT
Programmable controllers, Design and construction
Programmable controllers, Testing
LIBRARY OF CONGRESS CLASSIFICATION
Class number
TJ223
Book number
.
D4
2010
PERSONAL NAME - SECONDARY RESPONSIBILITY
Hardin, David S
SpringerLink (Online service)
ORIGINATING SOURCE
Country
ایران
old catalog
p
BL
1
a
Y
