國立高雄大學圖資館 |

Language: English

Back

Languages for embedded systems and t...

Radetzki, Martin.

Languages for embedded systems and their applicationsselected contributions on specification, design, and verification from FDL'08 /

Record Type:	Electronic resources : Monograph/item
Title/Author:	Languages for embedded systems and their applicationsedited by Martin Radetzki.
Reminder of title:	selected contributions on specification, design, and verification from FDL'08 /
other author:	Radetzki, Martin.
Published:	Dordrecht :Springer Netherlands,2009.
Description:	xiv, 324 p. :ill., digital ;25 cm.
Series:	Lecture notes in electrical engineering,
Contained By:	Springer eBooks
Subject:	Computer hardware description languagesCongresses.
Online resource:	http://libsw.nuk.edu.tw:81/login?url=http://dx.doi.org/10.1007/978-1-4020-9714-0
ISBN:	9781402097140 (electronic bk.)

Languages for embedded systems and their applicationsselected contributions on specification, design, and verification from FDL'08 /
Languages for embedded systems and their applicationsselected contributions on specification, design, and verification from FDL'08 /[electronic resource] :edited by Martin Radetzki. - Dordrecht :Springer Netherlands,2009. - xiv, 324 p. :ill., digital ;25 cm. - Lecture notes in electrical engineering,361876-1100 ;.

ISBN: 9781402097140 (electronic bk.)Subjects--Topical Terms:

447021
Computer hardware description languages
--Congresses.

LC Class. No.: TK7885.7 / .L35 2009

Dewey Class. No.: 004

Languages for embedded systems and their applicationsselected contributions on specification, design, and verification from FDL'08 /
LDR:00945nmm 2200241 a 4500 001 218386
003 Springer
005 20090904160106.0
006 m d
007 cr nn 008maaau
008 091014s2009 ne j eng d
020 $a 9781402097140 (electronic bk.)
020 $a 9781402097133 (paper)
035 $a 978-1-4020-9713-3
050 # 4 $a TK7885.7 $b .L35 2009
082 0 4 $a 004 $2 22
090 $a TK7885.7 $b .L287 2009
245 0 0 $a Languages for embedded systems and their applications $h [electronic resource] : $b selected contributions on specification, design, and verification from FDL'08 / $c edited by Martin Radetzki.
260 # $a Dordrecht : $c 2009. $b Springer Netherlands,
300 $a xiv, 324 p. : $b ill., digital ; $c 25 cm.
440 0 $a Lecture notes in electrical engineering, $x 1876-1100 ; $v 36
650 # 0 $a Computer hardware description languages $v Congresses. $3 447021
650 # 0 $a Embedded computer systems $x Design and construction $v Congresses. $3 452402
650 2 4 $a System Performance and Evaluation. $3 273898
650 2 4 $a Simulation and Modeling. $3 273719
650 1 4 $a Engineering. $3 210888
650 2 4 $a Circuits and Systems. $3 274416
650 2 4 $a Special Purpose and Application-Based Systems. $3 274487
650 2 4 $a Programming Languages, Compilers, Interpreters. $3 274102
650 2 4 $a Electronics and Microelectronics, Instrumentation. $3 274412
700 1 # $a Radetzki, Martin. $3 349074
710 2 # $a SpringerLink (Online service) $3 273601
773 0 # $t Springer eBooks
856 4 0 $u http://libsw.nuk.edu.tw:81/login?url=http://dx.doi.org/10.1007/978-1-4020-9714-0
950 $a Engineering (Springer-11647)