東華大學圖書館 |

Language: English

Help

回圖書館首頁

手機版館藏查詢

Back

Switch To: Labeled | MARC Mode | ISBD

Languages for embedded systems and t...

Radetzki, Martin.

Linked to FindBook

Google Book

Amazon

博客來

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

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Languages for embedded systems and their applications/ edited 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 languages - Congresses. -
Online resource:	http://dx.doi.org/10.1007/978-1-4020-9714-0
ISBN:	9781402097133 (paper)

Languages for embedded systems and their applications = selected 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: 9781402097133 (paper)Subjects--Topical Terms:

703913
Computer hardware description languages
--Congresses.

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

Dewey Class. No.: 004

Languages for embedded systems and their applications = selected contributions on specification, design, and verification from FDL'08 /
LDR:00855nam 2200229 a 45 001 844936
003 Springer
005 20100602
006 m d
007 cr nn 008maaau
008 100602s2009 ne j eng d
020 $a 9781402097133 (paper)
020 $a 9781402097140 (electronic bk.)
035 $a 978-1-4020-9713-3
050 4 $a TK7885.7 $b .L35 2009
082 0 4 $a 004 $2 22
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 $x Congresses. $3 703913
650 0 $a Embedded computer systems $x Design and construction $v Congresses. $3 1006315
650 1 4 $a Engineering. $3 586835
650 2 4 $a Circuits and Systems. $3 896527
650 2 4 $a Electronics and Microelectronics, Instrumentation. $3 893838
650 2 4 $a Programming Languages, Compilers, Interpreters. $3 891123
650 2 4 $a Simulation and Modeling. $3 890873
650 2 4 $a Special Purpose and Application-Based Systems. $3 892492
650 2 4 $a System Performance and Evaluation. $3 891353
700 1 $a Radetzki, Martin. $3 1006314
710 2 $a SpringerLink (Online service) $3 836513
773 0 $t Springer eBooks
856 4 0 $u http://dx.doi.org/10.1007/978-1-4020-9714-0
950 $a Engineering (Springer-11647)