國立虎尾科技大學 |

語系: 繁體中文

說明(常見問題)

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Synchronous equivalence : formal met...

~

Sangiovanni-Vincentelli, Alberto

Synchronous equivalence : formal methods for embedded systems

紀錄類型:	書目-語言資料,印刷品 : 單行本
副題名:	formal methods for embedded systems
作者:	HsiehHarry,
其他作者:	BalarinFelice,
其他作者:	Sangiovanni-VincentelliAlberto,
出版地:	Boston
出版者:	Kluwer Academic Publishers;
出版年:	2001
面頁冊數:	x, 136 pill : 25 cm;
標題:	Embedded computer systems -
標題:	Formal methods (Computer science) -
ISBN:	079237262X

Synchronous equivalence : formal methods for embedded systems
Hsieh, Harry

Synchronous equivalence : formal methods for embedded systems / Harry Hsieh, Felice Balarin, Alberto Sangiovanni-Vincentelli - Boston : Kluwer Academic Publishers, 2001. - x, 136 p ; ill ; 25 cm.
Includes bibliographical references (p. [133]-136) and index.
ISBN 079237262X
Embedded computer systemsFormal methods (Computer science)

Balarin, Felice

Synchronous equivalence : formal methods for embedded systems
LDR:00614cam 2200169 i 450 001 456810
005 20101024033634.0
009 att 00000376
010 1 $ b(hbk.) $a 079237262X $d NT
100 $a 20080130d2001 m y0engy01 b
101 0 $a eng
200 1 $a Synchronous equivalence $e formal methods for embedded systems $f Harry Hsieh, Felice Balarin, Alberto Sangiovanni-Vincentelli
210 $a Boston $c Kluwer Academic Publishers $d 2001
215 0 $a x, 136 p $c ill $d 25 cm
320 $a Includes bibliographical references (p. [133]-136) and index
606 $a Embedded computer systems $3 416677 $2 lc $3 724821
606 $a Formal methods (Computer science) $3 440780 $2 lc $3 736340
676 $a 004.16 $v 21
680 $a TK7895.E42 $b H75 2001
700 $a Hsieh $b Harry $3 440778
702 $a Balarin $b Felice $3 440779
702 $a Sangiovanni-Vincentelli $b Alberto $3 414736
801 1 $a cw $b 國立虎尾科技大學圖書館圖書館 $c 20020515

筆 0 讀者評論

館藏

1 筆 • 頁數 1 •
1

典藏地名稱

館藏流通類別

E022465

圖書館3F 書庫

一般圖書(BOOK)

一般圖書

004.16 H873 2001

一般使用(Normal)

在架

0

1 筆 • 頁數 1 •
1

評論

新增評論分享你的心得

Export

取書館別

變更密碼[密碼必須為2種組合(英文和數字)及長度為10碼以上]

登入