Verification, model checking, and abstract interpretation 10th international conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009 : proceedings / Neil D. Jones, Markus Müller-Olm (eds.)

Author(s): VMCAI 2009 (2009 : Savannah, Ga.)
Online: Connect to OhioLINK EBC
Location:
Retrieving Holdings Information
Subjects: Computer programs--Verification--Congresses
Electronic books
Formats: Electronic Resource, Remote
Material Type: Books
Language: English
Audience: Unspecified
Published: Berlin : Springer, c2009
Series: Lecture notes in computer science 5403
LNCS sublibrary: SL 1 -- Theoretical computer science and general issuess
Lecture notes in computer science 5403
LNCS sublibrary. SL 1, Theoretical computer science and general issues
LC Classification: Q, QA
Alternate Titles: Portion of title: VMCAI 2009
In: SpringerLink (OCoLC)43927870
In: OhioLINK electronic book center (Online) (OCoLC)180989150
Additional Authors: Jones, Neil D
Müller-Olm, Markus
Notes: ISBN: 9783540938996
ISBN: 3540938990
ISBN: 9783540939009 (e-isbn)
ISBN: 3540939008 (e-isbn)
Includes bibliographical references and index
Available to OhioLINK libraries
Reproduction notes: Electronic reproduction. Berlin : Springer, 2009. 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 Aug. 4, 2009. Access restricted to subscribing institution. Also available in print
Physical Description: xi, 380 p. : ill. ; 24 cm
OCLC Number: 314175072
ISBN/ISSN: 9783540938996
3540938990
9783540939009
3540939008
0302-9743

Miami University Libraries | 151 South Campus Avenue | Oxford, Ohio 45056 | 513.529.4141 | Miami University | myMiami | Staff Area