Language:
English
繁體中文
Help
圖資館首頁
Login
Back
Switch To:
Labeled
|
MARC Mode
|
ISBD
Design and verification of microproc...
~
Hardin, David S.
Design and verification of microprocessor systems for high-assurance applications
Record Type:
Electronic resources : Monograph/item
Title/Author:
Design and verification of microprocessor systems for high-assurance applicationsedited by David S. Hardin.
other author:
Hardin, David S.
Published:
Boston, MA :Springer Science+Business Media, LLC,2010.
Description:
xiv, 436 p. :ill., digital ;24 cm.
Contained By:
Springer eBooks
Subject:
Programmable controllersDesign and construction.
Online resource:
http://dx.doi.org/10.1007/978-1-4419-1539-9
ISBN:
9781441915399 (electronic bk.)
Design and verification of microprocessor systems for high-assurance applications
Design and verification of microprocessor systems for high-assurance applications
[electronic resource] /edited by David S. Hardin. - Boston, MA :Springer Science+Business Media, LLC,2010. - xiv, 436 p. :ill., digital ;24 cm.
ISBN: 9781441915399 (electronic bk.)Subjects--Topical Terms:
485379
Programmable controllers
--Design and construction.
LC Class. No.: TJ223.P76 / D47 2010
Dewey Class. No.: 629.895416
Design and verification of microprocessor systems for high-assurance applications
LDR
:00789nmm 2200229 a 4500
001
274263
003
Springer
005
20101125131846.0
006
m d
007
cr nn 008maaau
008
101221s2010 mau s j eng d
020
$a
9781441915399 (electronic bk.)
020
$a
9781441915382 (paper)
035
$a
978-1-4419-1538-2
050
0 4
$a
TJ223.P76
$b
D47 2010
082
0 4
$a
629.895416
$2
22
090
$a
TJ223.P76
$b
D457 2010
245
0 0
$a
Design and verification of microprocessor systems for high-assurance applications
$h
[electronic resource] /
$c
edited by David S. Hardin.
260
$a
Boston, MA :
$b
Springer Science+Business Media, LLC,
$c
2010.
300
$a
xiv, 436 p. :
$b
ill., digital ;
$c
24 cm.
650
0
$a
Programmable controllers
$x
Design and construction.
$3
485379
650
0
$a
Programmable controllers
$x
Testing.
$3
485380
650
1 4
$a
Engineering.
$3
210888
650
2 4
$a
Circuits and Systems.
$3
274416
650
2 4
$a
Computer-Aided Engineering (CAD, CAE) and Design.
$3
274500
650
2 4
$a
Quality Control, Reliability, Safety and Risk.
$3
274011
700
1
$a
Hardin, David S.
$3
485378
710
2
$a
SpringerLink (Online service)
$3
273601
773
0
$t
Springer eBooks
856
4 0
$u
http://dx.doi.org/10.1007/978-1-4419-1539-9
950
$a
Engineering (Springer-11647)
based on 0 review(s)
ALL
電子館藏
Items
1 records • Pages 1 •
1
Inventory Number
Location Name
Item Class
Material type
Call number
Usage Class
Loan Status
No. of reservations
Opac note
Attachments
000000050513
電子館藏
1圖書
電子書
EB TJ223.P76 D47 2010
一般使用(Normal)
On shelf
0
1 records • Pages 1 •
1
Multimedia
Multimedia file
http://dx.doi.org/10.1007/978-1-4419-1539-9
Reviews
Add a review
and share your thoughts with other readers
Export
pickup library
Processing
...
Change password
Login