Language:
English
繁體中文
Help
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)
ALL
圖書館3F 書庫
Items
1 records • Pages 1 •
1
Inventory Number
Location Name
Item Class
Material type
Call number
Usage Class
Loan Status
No. of reservations
Opac note
Attachments
E022465
圖書館3F 書庫
一般圖書(BOOK)
一般圖書
004.16 H873 2001
一般使用(Normal)
On shelf
0
Reserve
1 records • Pages 1 •
1
Reviews
Add a review
and share your thoughts with other readers
Export
pickup library
Processing
...
Change password
Login