國立虎尾科技大學 |

Language: English

Login

Back

Switch To: Labeled | MARC Mode | ISBD

Advanced formal verification

~

Drechsler, Rolf

Advanced formal verification

Record Type:	Language materials, printed : monographic
Secondary Intellectual Responsibility:	DrechslerRolf,
Place of Publication:	Boston
Published:	Kluwer Academic Publishers;
Year of Publication:	c2004
Description:	xxv, 249 pill : 25 cm;
Subject:	Electronic circuits - Testing -
Subject:	Decision trees -
ISBN:	1402077211

Advanced formal verification
Advanced formal verification / edited by Rolf Drechsler - Boston : Kluwer Academic Publishers, c2004. - xxv, 249 p ; ill ; 25 cm.
Includes bibliographical references and index.
ISBN 1402077211
Electronic circuitsDecision trees -- Testing

Drechsler, Rolf

Advanced formal verification
LDR:00464cam 2200145 i 450 001 463784
005 20101024123121.0
009 alc0097
010 1 $a 1402077211 $b (hbk.) $d NT
100 $a 20080130f 2004m y0engy01 b
101 0 $a eng
200 1 $a Advanced formal verification $f edited by Rolf Drechsler
210 $a Boston $c Kluwer Academic Publishers $d c2004
215 0 $a xxv, 249 p $c ill $d 25 cm
320 $a Includes bibliographical references and index
606 $a Electronic circuits $x Testing $3 451067 $2 lc $3 741849
606 $a Decision trees $3 451068 $2 lc $3 741850
702 $a Drechsler $b Rolf $3 451066
801 1 $a cw $b 國立虎尾科技大學圖書館圖書館 $c 20040804

based on 0 review(s)

Items

1 records • Pages 1 •
1

Inventory Number

No. of reservations

E024205

圖書館3F 書庫

一般圖書(BOOK)

一般圖書

621.381548 A244 2004

一般使用(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