國立虎尾科技大學 |

Language: English

Login

Back

Switch To: Labeled | MARC Mode | ISBD

A roadmap for formal property verifi...

~

Dasgupta, Pallab

A roadmap for formal property verification

Record Type:	Language materials, printed : monographic
Author:	DasguptaPallab,
Place of Publication:	Dordrecht
Published:	Springer;
Year of Publication:	c2006
Description:	xiii, 251 p.ill. : 25 cm.;
Subject:	Integrated circuits - Verification -
ISBN:	9781402047572

A roadmap for formal property verification
Dasgupta, Pallab

A roadmap for formal property verification / by Pallab Dasgupta - Dordrecht : Springer, c2006. - xiii, 251 p. ; ill. ; 25 cm..
Includes bibliographical references (p. [243]-248) and index.
ISBN 9781402047572ISBN 1402047576
Integrated circuits -- Verification

A roadmap for formal property verification
LDR:00715nam 2200241 i 450 001 501930
005 20101024140409.0
009 a(OCoLC)ocm71200310
009 a2006471833
010 1 $a 9781402047572 $b (hbk.)
010 1 $a 1402047576 $b (hbk.) $d EUR79.95
100 $a 20080130d2006 am0y0engy50020302ba
101 0 $a eng
102 $a ne
105 $a a z 001yy
200 1 $a A roadmap for formal property verification $f by Pallab Dasgupta
210 $a Dordrecht $d c2006 $c Springer
215 1 $a xiii, 251 p. $c ill. $d 25 cm.
320 $a Includes bibliographical references (p. [243]-248) and index
606 $a Integrated circuits $x Verification $3 415047 $2 lc $3 731608
676 $a 621.3815 $v 22
680 $a TK7874.58 $b D37 2006
700 1 $a Dasgupta $b Pallab $3 495186
801 0 $b COO
801 0 $a tw $b BIB $c 20071119
801 2 $a tw $b NFU $c 20091019 $g CCR $m 3

based on 0 review(s)

Items

1 records • Pages 1 •
1

Inventory Number

No. of reservations

E029250

圖書館3F 書庫

一般圖書(BOOK)

一般圖書

621.3815 D229 2006

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