國立高雄大學圖資館 |

Language: English

Back

Taxonomies for the Development and Verification of Digital Systems /

Record Type:	Electronic resources : Monograph/item
Title/Author:	Taxonomies for the Development and Verification of Digital Systems /edited by Brian Bailey, Grant Martin, Thomas Anderson.
other author:	Anderson, Thomas.
Published:	Boston, MA :Springer Science+Business Media, Inc.,2005.
Description:	v.: digital
Subject:	Engineering
Online resource:	http://dx.doi.org/10.1007/b104217
ISBN:	9780387240190 (paper)

Taxonomies for the Development and Verification of Digital Systems /
Taxonomies for the Development and Verification of Digital Systems /[electronic resource] /edited by Brian Bailey, Grant Martin, Thomas Anderson. - Boston, MA :Springer Science+Business Media, Inc.,2005. - v.: digital

ISBN: 9780387240190 (paper)Subjects--Topical Terms:

252507
Engineering

LC Class. No.: TK7874.65 / T39 2005

Dewey Class. No.: 621.3815

Taxonomies for the Development and Verification of Digital Systems /
LDR:00804nmm _22002175a_450 001 175000
003 Springer
005 20070808141458.0
006 m e
007 cr nn 008mamaa
008 090528s2005 nyu j eng d
020 $a 9780387240190 (paper)
020 $a 9780387240213 (electronic bk.)
035 $a 00279414
050 0 0 $a TK7874.65 $b T39 2005
082 0 0 $2 22 $a 621.3815
090 $a TK7874.65 $b T235 2005
245 0 0 $a Taxonomies for the Development and Verification of Digital Systems / $c edited by Brian Bailey, Grant Martin, Thomas Anderson. $h [electronic resource] /
260 # $a Boston, MA : $c 2005. $b Springer Science+Business Media, Inc.,
300 $b v.: digital
650 # 0 $a Engineering $3 252507
650 # 0 $a Computer engineering $3 252556
650 # 0 $a Electronics $3 252955
650 # 0 $a Logic design $3 253765
650 # 0 $a Computer aided design $3 253667
650 # 0 $a Systems engineering $3 253884
650 # 0 $a Electronic and Computer Engineering $3 252558
650 # 0 $a Electronics and Microelectronics, Instrumentation $3 252956
650 # 0 $a Logic Design $3 253900
650 # 0 $a Computer-Aided Engineering (CAD, CAE) and Design $3 253668
650 # 0 $a Circuits and Systems $3 253885
700 0 # $a Anderson, Thomas. $3 253899
700 0 # $a Bailey, Brian. $3 253897
700 0 # $a Martin, Grant. $3 253898
856 4 0 $u http://libsw.nuk.edu.tw/login?url=http://dx.doi.org/10.1007/b104217 $z http://dx.doi.org/10.1007/b104217
950 $a Engineering (Springer-11647; ZDB-2-ENG)