Research Catalog

Verified software: theories, tools, experiments : second international conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008 : proceedings

Title
Verified software: theories, tools, experiments : second international conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008 : proceedings / Natarajan Shankar, Jim Woodcock (eds.).
Author
VSTTE (Conference) (2nd : 2008 : Toronto, Ont.)
Publication
Berlin ; New York : Springer, 2008.

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 V73 2008gOff-site

Details

Additional Authors
  • Shankar, N. (Natarajan)
  • Woodcock, Jim.
Description
xii, 262 pages : illustrations; 24 cm.
Series Statement
Lecture notes in computer science, 0302-9743 ; 5295
Uniform Title
Lecture notes in computer science ; 5295.
Subject
Computer programs > Verification > Congresses
Bibliography (note)
  • Includes bibliographical references and index.
ISBN
  • 9783540878728 (pbk.)
  • 3540878726 (pbk.)
OCLC
  • ocn259253621
  • 259253621
  • SCSB-5436546
Owning Institutions
Columbia University Libraries