Return to home page
Searching: Otterbein library catalog
  Previous Record Previous Item Next Item Next Record
  Reviews, Summaries, etc...
EBOOK
Conference ATVA (Symposium) (6th : 2008 : Seoul, Korea)
Title Automated technology for verification and analysis [electronic resource] : 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008 : proceedings / Sungdeok (Steve) Cha ... [et al.] (eds.)
Imprint Berlin : Springer, c2008.

LOCATION CALL # STATUS MESSAGE
 OHIOLINK SPRINGER EBOOKS    ONLINE  
View online
Conference ATVA (Symposium) (6th : 2008 : Seoul, Korea)
Series Lecture notes in computer science, 0302-9743 ; 5311
LNCS sublibrary. SL 2, Programming and software engineering
Lecture notes in computer science ; 5311.
LNCS sublibrary. SL 2, Programming and software engineering.
Subject Automatic theorem proving -- Congresses.
Alt Name Cha, Sungdeok.
Add Title ATVA 2008.
LOCATION CALL # STATUS MESSAGE
 OHIOLINK SPRINGER EBOOKS    ONLINE  
View online
Conference ATVA (Symposium) (6th : 2008 : Seoul, Korea)
Series Lecture notes in computer science, 0302-9743 ; 5311
LNCS sublibrary. SL 2, Programming and software engineering
Lecture notes in computer science ; 5311.
LNCS sublibrary. SL 2, Programming and software engineering.
Subject Automatic theorem proving -- Congresses.
Genre/Form Electronic books.
Alt Name Cha, Sungdeok.
Add Title ATVA 2008.
Description xiv, 430 p. : ill. ; 24 cm.
Bibliography Note Includes bibliographical references and index.
Access Available to OhioLINK libraries.
Reproduction Electronic reproduction. Berlin : Springer, 2008. System requirements: Adobe Acrobat Reader and Internet browser; text in HTML and PDF. Mode of access: World Wide Web. Title from title screen; description based on content as of May 26, 2009. Access restricted to subscribing institution. Also available in print.
ISBN 9783540883869
354088386X
9783540883876 (e-isbn)
3540883878 (e-isbn)
OCLC # 304563380
Link SpringerLink (OCoLC)43927870.
OhioLINK electronic book center (Online) (OCoLC)180989150.