Tools

LEADER 01912cam 2200493Ia 4500

001 ocm74270427;

003 OCoLC;

005 20141211192848.0;

008 061020s2006 gw a 101 0 eng d;

010 a| 2006934115;

016 7 a| 9812572402| GyFmDB;

020 a| 3540472371 (pbk.);

020 a| 9783540472377;

029 0 a| OHXb| har060128249;

029 1 a| YDXCPb| 2494608;

035 a| (Sirsi) o74270427;

035 a| (OCoLC)74270427;

049 a| EREE;

072 7 a| QA2| lcco;

090 a| QA76.9.A96b| A82 2006;

111 2 a| ATVA (Symposium)n| (4th :d| 2006 :c| Beijing, China)=| ^A704372;

245 10 a| Automated technology for verification and analysis :b| 4th international symposium, ATVA 2006, Beijing, China, October 23-26, 2006 : proceedings /c| Susanne Graf, Wenhui Zhang (eds.).;

246 30 a| ATVA 2006;

300 a| xiv, 540 pages :b| illustrations ;c| 24 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

490 1 a| Lecture notes in computer science ;v| 4218,x| 0302-9743 ;;

504 a| Includes bibliographical references and index.;

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

700 1 a| Graf, Susanne.=| ^A454134;

700 1 a| Zhang, Wenhui,d| 1963-=| ^A704373;

830 0 a| Lecture notes in computer sciencev| 4218.=| ^A466336;

994 a| 92b| ERE;

910 a| PromptCat;

938 a| Otto Harrassowitzb| HARRn| har060128249c| 72.76 EUR;

938 a| Baker & Taylorb| BKTYc| 95.00d| 95.00i| 3540472371n| 0007087383s| active;

938 a| YBP Library Servicesb| YANKn| 2494608;

980 a| 2006-12-27b| 95d| 0e| 90.25f| 35315;

596 a| 1;

998 a| 1064660;

999 a| QA76.9.A96 A82 2006w| LCc| 1i| 30372014178864d| 3/6/2013f| 3/6/2013g| 1l| JGESm| JOYNERp| $90.25r| Ys| Yt| JGESBKu| 1/8/2007x| BOOKz| JSTACKSo| .STAFF. 0;

Automated technology for verification and analysis : 4th international symposium, ATVA 2006, Beijing, China, October 23-26, 2006 : proceedings / Susanne Graf, Wenhui Zhang (eds.).

Author/creator	ATVA (Symposium)
Other author	Graf, Susanne.
Other author	Zhang, Wenhui, 1963-
Format	Book
Publication Info	Berlin ; New York : Springer, ©2006.
Description	xiv, 540 pages : illustrations ; 24 cm.
Subjects	Automatic theorem proving--Congresses.

Portion of title	ATVA 2006
Series	Lecture notes in computer science ; 4218, 0302-9743 ; Lecture notes in computer science 4218. ^A466336
Bibliography note	Includes bibliographical references and index.
LCCN	2006934115
ISBN	3540472371 (pbk.)
ISBN	9783540472377

Availability

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	QA76.9.A96 A82 2006	✔ Available	Place Hold

Automated technology for verification and analysis : 4th international symposium, ATVA 2006, Beijing, China, October 23-26, 2006 : proceedings / Susanne Graf, Wenhui Zhang (eds.).

Click here for more information about this title

Availability