Automated technology for verification and analysis : Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004 : proceedings /

Bibliographic Details
Corporate Author: ATVA (Symposium) Taipei, Taiwan)
Other Authors: Wang, Farn
Format: Conference Proceeding eBook
Language:English
Published: Berlin ; New York : Springer, [2004]
Series:Lecture notes in computer science ; 3299.
Subjects:
Online Access:Connect to the full text of this electronic book

MARC

Tag First Indicator Second Indicator Subfields
LEADER 00000cam a2200000Ia 4500
001 in00002032012
005 20190326103312.0
007 cr un---------
008 041110s2004 gw a b 101 0 eng d
010 |a  2004113833 
020 |a 3540236104 
035 |a (OCoLC)ocm56950018 
040 |a LWU  |c LWU  |d CUS  |d C$Q  |d IAY  |d OCLCQ  |d TXA  |d UtOrBLW 
049 |a TXAM 
090 |a QA76.9.A96  |b I578 2004 
111 2 |a ATVA (Symposium)  |n (2nd :  |d 2004 :  |c Taipei, Taiwan) 
245 1 0 |a Automated technology for verification and analysis :  |b Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004 : proceedings /  |c Farn Wang (ed.). 
246 3 0 |a ATVA 2004 
264 1 |a Berlin ;  |a New York :  |b Springer,  |c [2004] 
264 4 |c ©2004 
300 |a xii, 506 pages :  |b illustrations ;  |c 24 cm. 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
490 1 |a Lecture notes in computer science,  |x 0302-9743 ;  |v 3299 
500 |a "2nd International Symposium on Automated Technology on Verification and Analysis (ATVA)"--Pref. 
504 |a Includes bibliographical references and index. 
530 |a Also issued online. 
650 0 |a Automatic theorem proving  |v Congresses. 
700 1 |a Wang, Farn. 
830 0 |a Lecture notes in computer science ;  |v 3299. 
856 4 1 |u http://proxy.library.tamu.edu/login?url=http://www.springerlink.com/content/34fy7g35u4n8/?sortorder=asc  |z Connect to the full text of this electronic book  |t 0 
994 |a C0  |b TXA 
948 |a cataloged  |b h  |c 2005/3/14  |d c  |e blrosas  |f 11:40:16 am 
999 |a MARS 
999 f f |s 638022de-867d-35e1-a61b-a02a1af58768  |i a3c5d35c-3ce5-3f5a-86f5-309e38910006  |t 0 
952 f f |p ric  |a Texas A&M University  |b Rellis Campus  |c Joint Library Facility  |d Remote Storage  |t 0  |e QA76.9.A96 I578 2004  |h Library of Congress classification  |i computer -- online resource  |m A14832332723 
998 f f |a QA76.9.A96 I578 2004  |t 0  |l Remote Storage