東華大學圖書館 |

Language: English

回圖書館首頁

手機版館藏查詢

Login

Back

Switch To: Labeled | MARC Mode | ISBD

Computer aided verification

~

Hunt, Jr, Warren A.

Linked to FindBook

Google Book

Amazon

博客來

Computer aided verification

Record Type:	Electronic resources : Monograph/item
Title/Author:	Computer aided verification/ edited by Warren A. Hunt Jr, Fabio Somenzi.
other author:	Hunt, Jr, Warren A.
corporate name:	Computer aided verification (International conference)
Published:	Berlin ;Springer, : c2003.,
Description:	xiii, 626 p. :ill., digital ;24 cm.
Contained By:	Springer e-books
Subject:	Computer software - Congresses. - Verification -
Online resource:	https://doi.org/10.1007/b11831
ISBN:	9783540405245 (paper)

Computer aided verification
Computer aided verification[electronic resource] /edited by Warren A. Hunt Jr, Fabio Somenzi. - Berlin ;Springer,c2003. - xiii, 626 p. :ill., digital ;24 cm.

ISBN: 9783540405245 (paper)Subjects--Topical Terms:

844546
Computer software
--Verification--Congresses.Subjects--Index Terms:

CAV

Dewey Class. No.: 004.24

Computer aided verification
LDR:00695nmm 2200217 a 45 001 842917
003 GreenPo
005 20100602
006 m d
007 cr nn 008maaau
008 100602s2003 gw j eng d
020 $a 9783540405245 (paper)
035 $a 978-3-540-40524-5
082 0 4 $a 004.24 $2 21
111 2 $a Computer aided verification (International conference) $n (15th : $d 2003 Jul : $c Boulder, CO) $3 1003462
245 1 0 $a Computer aided verification $h [electronic resource] / $c edited by Warren A. Hunt Jr, Fabio Somenzi.
260 # $a Berlin ; $a London : $c c2003. $b Springer,
300 $a xiii, 626 p. : $b ill., digital ; $c 24 cm.
650 # 0 $a Computer software $x Verification $v Congresses. $3 844546
650 # 0 $a Integrated circuits $x Verification $v Congresses. $3 844805
653 # # $a CAV
653 # # $a computer aided verification
700 1 # $a Hunt, Jr, Warren A. $3 1003460
700 1 # $a Somenzi, Fabio. $3 1003461
710 2 # $a SpringerLink (Online service) $3 836513
773 0 # $t Springer e-books
856 4 0 $u https://doi.org/10.1007/b11831
950 $a Computer Science (Lecture Notes in Computer Science)

based on 0 review(s)

Location: Year: Volume Number:

Items

1 records • Pages 1 •
1

Inventory Number

No. of reservations

W9062715

電子資源

11.線上閱覽_V

電子書

EB W9062715

一般使用(Normal)

On shelf

0

1 records • Pages 1 •
1

Multimedia

Reviews

Add a review and share your thoughts with other readers

Export

pickup library

Change password

Login