東華大學圖書館 |

語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Automated technology for verificatio...

Peled, Doron, (1962-)

FindBook

Google Book

Amazon

博客來

Automated technology for verification and analysis : = third international symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005 : proceedings /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Automated technology for verification and analysis :/ Doron A. Peled, Yih-Kuen Tsay (eds.).
其他題名:	third international symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005 : proceedings /
其他題名:	ATVA 2005
其他作者:	Peled, Doron,
團體作者:	ATVA 2005
出版者:	Berlin ;Springer, : c2005.,
面頁冊數:	xii, 506 p. :ill. ;24 cm.
叢書名:	Lecture notes in computer science,
標題:	Automatic theorem proving - Congresses. -
電子資源:	http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=3707Access from campus or login via Rutgers account.
電子資源:	http://www.loc.gov/catdir/toc/fy0612/2005932760.htmlhttp://www.loc.gov/catdir/toc/fy0612/2005932760.html
電子資源:	http://www.loc.gov/catdir/enhancements/fy0663/2005932760-d.htmlhttp://www.loc.gov/catdir/enhancements/fy0663/2005932760-d.html
ISBN:	9783540292098

Automated technology for verification and analysis : = third international symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005 : proceedings /
Automated technology for verification and analysis :third international symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005 : proceedings /ATVA 2005Doron A. Peled, Yih-Kuen Tsay (eds.). - Berlin ;Springer,c2005. - xii, 506 p. :ill. ;24 cm. - Lecture notes in computer science,37070302-9743 ;.

Includes bibliographical references and index.

ISBN: 9783540292098

LCCN: 2005932760Subjects--Topical Terms:

622584
Automatic theorem proving
--Congresses.

LC Class. No.: QA76.9.A96 / A82 2005

Automated technology for verification and analysis : = third international symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005 : proceedings /
LDR:01301nam a2200253 a 4500 001 626758
005 19980214102505.0
008 080204s2005 gw a b 101 0 eng d
010 $a 2005932760
020 $a 9783540292098 $b (pbk.)
020 $a 3540292098 $b (pbk.) : $c NT$2759
035 $a 00452974
040 $a OHX $c OHX $d BAKER $d C $d CUS $d DLC
042 $a lccopycat
050 0 0 $a QA76.9.A96 $b A82 2005
111 $a ATVA 2005 $d (2005 : $c Taipei, Taiwan) $3 622583
245 1 0 $a Automated technology for verification and analysis : $b third international symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005 : proceedings / $c Doron A. Peled, Yih-Kuen Tsay (eds.).
246 3 0 $a ATVA 2005
260 $a Berlin ; $a New York : $c c2005. $b Springer,
300 $a xii, 506 p. : $b ill. ; $c 24 cm.
440 0 $a Lecture notes in computer science, $v 3707 $x 0302-9743 ;
504 $a Includes bibliographical references and index.
530 $a Also issued online.
650 $a Automatic theorem proving $v Congresses. $3 622584
700 $a Peled, Doron, $d 1962- $3 622581
700 $a Tsay, Yih-Kuen, $d 1962- $3 622582
856 4 1 $u http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=3707 $z Access from campus or login via Rutgers account.
856 4 1 $3 Table of contents only $u http://www.loc.gov/catdir/toc/fy0612/2005932760.html $z http://www.loc.gov/catdir/toc/fy0612/2005932760.html
856 4 2 $3 Publisher description $u http://www.loc.gov/catdir/enhancements/fy0663/2005932760-d.html $z http://www.loc.gov/catdir/enhancements/fy0663/2005932760-d.html