Normal view MARC view ISBD view

Automated technology for verification and analysis : 6th international symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, proceedings /

Automated technology for verification and analysis : 6th international symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, proceedings / editors Sungdeok Steve Cha ...[et al.] - New York : Springer, 2008 - xiv, 430 p. : ill. ; 23 cm. - Lecture notes in computer science ; 5311 .

ISBN: 354088386X (pbk.) 9783540883869 (pbk.)

Subjects--Topical Terms:
Automatic theorem proving --Congresses

LC Class. No.: QA76.9.A96 / .A97 2008

Place recall
Print
Add to your cart (remove)
Save record
BIBTEX Dublin Core MARCXML MARC (non-Unicode/MARC-8) MARC (Unicode/UTF-8) MARC (Unicode/UTF-8, Standard) MODS (XML) RIS ISBD
More searches

Search for this title in:
Other Libraries (WorldCat) Other Databases (Google Scholar) Online Stores (Bookfinder.com) Open Library (openlibrary.org)