Computer aided verification [electronic resource] : 28th International conference, CAV 2016, Toronto, ON, USA, July 17-23, 2016 : proceedings. Part I / Swarat Chaudhuri, Azadeh Farzan(eds.).
2016
QA76.76.V47
Linked e-resources
Linked Resource
Online Access
Concurrent users
Unlimited
Authorized users
Authorized users
Document Delivery Supplied
Can lend chapters, not whole ebooks
Details
Title
Computer aided verification [electronic resource] : 28th International conference, CAV 2016, Toronto, ON, USA, July 17-23, 2016 : proceedings. Part I / Swarat Chaudhuri, Azadeh Farzan(eds.).
Meeting Name
CAV (Conference) (28th : 2016 : Toronto, Ont.)
ISBN
9783319415284 (electronic book)
331941528X (electronic book)
9783319415277
331941528X (electronic book)
9783319415277
Published
Switzerland : Springer, 2016.
Language
English
Description
1 online resource (xvii, 541 pages) : illustrations.
Call Number
QA76.76.V47
Dewey Decimal Classification
004.24
Bibliography, etc. Note
Includes bibliographical references and index.
Access Note
Access limited to authorized users.
Source of Description
Online resource; title from PDF title page (SpringerLink, viewed July 18, 2016).
Added Author
Chaudhuri, Swarat, editor.
Farzan, Azadeh, editor.
Farzan, Azadeh, editor.
Series
Lecture notes in computer science ; 9779.
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Linked Resources
Online Access
Record Appears in
Online Resources > Ebooks
All Resources
All Resources