Tools

LEADER 02349cam a22005177a 4500

001 ssj0000316404;

003 WaSeSS;

005 20260512090152.0;

006 m d ;

007 cr n ;

008 070912s2007 gw a sb 101 0 eng d;

010 a| 2007937234;

016 7 a| 98575754X2| GyFmDB;

020 a| 9783540755951 (pbk.);

020 a| 3540755950 (pbk.);

035 a| (WaSeSS)ssj0000316404;

042 a| lccopycat;

049 a| EREEa| NEHH;

050 00 a| QA76.9.A96b| A82 2006;

072 7 a| QA2| lcco;

082 00 a| 511.3/60285632| 22;

111 2 a| ATVA 2007d| (2007 :c| Tokyo, Japan)?| UNAUTHORIZED;

245 10 a| Automated technology for verification and analysish| [electronic resource] :b| 5th international symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 : proceedings /c| Kedar S. Namjoshi ... [et al.] (eds.).;

246 30 a| ATVA 2007;

260 a| Berlin ;a| New York :b| Springer,;

300 a| xiv, 566 p. :b| ill. ;c| 24 cm.;

440 0 a| Lecture notes in computer science,x| 0302-9743 ;v| 4762;

440 0 a| LNCS sublibrary.n| SL 2,p| Programming and software engineering;

504 a| Includes bibliographical references and index.;

506 a| Available only to authorized users.;

530 a| Also issued online.;

538 a| Mode of access: World Wide Web;

650 0 a| Automatic theorem provingv| Congresses.=| ^A24746;

655 0 a| Electronic books.=| ^A491897;

700 1 a| Namjoshi, Kedar S.=| ^A627484;

856 40 z| Full text available from SpringerLINK Lecture Notes in Computer Science Contemporary (1997-present)u| https://go.openathens.net/redirector/ecu.edu?url=https%3A%2F%2Flink.springer.com%2Fopenurl%3Fgenre%3Dbook%26isbn%3D978-3-540-75595-1;

947 a| (OCoLC)ocn175650372;

949 a| CLICK ON WEB ADDRESSw| ASISh| JOYNER188;

949 a| CLICK ON WEB ADDRESSw| ASISh| HSL77;

949 a| CLICK ON WEB ADDRESSw| ASISh| JMUSIC60;

596 a| 1 3 4;

998 a| 3982953;

999 a| CLICK ON WEB ADDRESSw| ASISc| 1i| 3982953-1001l| JNETm| JOYNERr| Ys| Yt| JNESSBKu| 1/1/2016x| EBOOKz| JERESOURCE;

999 a| CLICK ON WEB ADDRESSw| ASISc| 1i| 3982953-2001l| HSLELECm| HSLr| Ys| Yt| HEBKu| 1/1/2016x| EBOOKz| HERESOURCE;

999 a| CLICK ON WEB ADDRESSw| ASISc| 1i| 3982953-3001l| MNETm| JMUSICr| Ys| Yt| MNESSBKu| 1/1/2016x| EBOOKz| JERESOURCE;

Automated technology for verification and analysis 5th international symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 : proceedings / Kedar S. Namjoshi ... [et al.] (eds.).

Author/creator	ATVA 2007
Other author	Namjoshi, Kedar S.
Format	Electronic
Publication Info	Berlin ; New York : Springer,
Description	xiv, 566 p. : ill. ; 24 cm.
Supplemental Content	Full text available from SpringerLINK Lecture Notes in Computer Science Contemporary (1997-present)
Subjects	Automatic theorem proving--Congresses.

Portion of title	ATVA 2007
Series	Lecture notes in computer science, 0302-9743 ; 4762 LNCS sublibrary. SL 2, Programming and software engineering
Bibliography note	Includes bibliographical references and index.
Access restriction	Available only to authorized users.
Other forms	Also issued online.
Technical details	Mode of access: World Wide Web
Genre/form	Electronic books.
LCCN	2007937234
ISBN	9783540755951 (pbk.)
ISBN	3540755950 (pbk.)

Availability

Library	Location	Call Number	Status	Item Actions
	Electronic Resources	Access Content Online	✔ Available

Automated technology for verification and analysis 5th international symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 : proceedings / Kedar S. Namjoshi ... [et al.] (eds.).

Click here for more information about this title

Availability