國立虎尾科技大學 |

Language: English

Login

Back

Switch To: Labeled | MARC Mode | ISBD

Synchronous equivalence : formal met...

~

Sangiovanni-Vincentelli, Alberto

Synchronous equivalence : formal methods for embedded systems

Record Type:	Language materials, printed : monographic
Title Information:	formal methods for embedded systems
Author:	HsiehHarry,
Secondary Intellectual Responsibility:	BalarinFelice,
Secondary Intellectual Responsibility:	Sangiovanni-VincentelliAlberto,
Place of Publication:	Boston
Published:	Kluwer Academic Publishers;
Year of Publication:	2001
Description:	x, 136 pill : 25 cm;
Subject:	Embedded computer systems -
Subject:	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

based on 0 review(s)

Items

1 records • Pages 1 •
1

Inventory Number

No. of reservations

E022465

圖書館3F 書庫

一般圖書(BOOK)

一般圖書

004.16 H873 2001

一般使用(Normal)

On shelf

0

1 records • Pages 1 •
1

Reviews

Add a review and share your thoughts with other readers

Export

pickup library

Change password

Login