Research Catalog

Verification, model checking, and abstract interpretation : 10th international conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009 : proceedings

Title
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
VMCAI 2009 (2009 : Savannah, Ga.)
Publication
Berlin ; New York : Springer, [2009], ©2009.

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
Request for On-site UseRequest Scan
How do I pick up this item and when will it be ready?
TextRequest in advance QA76.76.V47 V53 2009gOff-site

Holdings

Details

Additional Authors
  • Jones, Neil D.
  • Müller-Olm, Markus.
Description
xi, 380 pages : illustrations; 24 cm.
Series Statement
  • Lecture notes in computer science, 0302-9743 ; 5403
  • LNCS sublibrary. SL 1, Theoretical computer science and general issues
Uniform Title
  • Lecture notes in computer science ; 5403.
  • LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Alternative Title
VMCAI 2009
Subject
Computer programs > Verification > Congresses
Bibliography (note)
  • Includes bibliographical references and index.
ISBN
  • 9783540938996
  • 3540938990
OCLC
  • 298777025
  • ocn298777025
  • SCSB-5451799
Owning Institutions
Columbia University Libraries