Verified software : theories, tools, and experiments : 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised selected papers / Sandrine Blazy, Marsha Chechik (eds.).
2016
QA76.76.V47
Linked e-resources
Linked Resource
Concurrent users
Unlimited
Authorized users
Authorized users
Document Delivery Supplied
Can lend chapters, not whole ebooks
Details
Title
Verified software : theories, tools, and experiments : 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised selected papers / Sandrine Blazy, Marsha Chechik (eds.).
Meeting Name
ISBN
9783319488691 (electronic book)
3319488694 (electronic book)
9783319488684
3319488694 (electronic book)
9783319488684
Published
Cham, Switzerland : Springer, 2016.
Language
English
Description
1 online resource (xiv, 199 pages) : illustrations.
Item Number
10.1007/978-3-319-48869-1 doi
Call Number
QA76.76.V47
Dewey Decimal Classification
005.1/4
Bibliography, etc. Note
Includes bibliographical references and author index.
Access Note
Access limited to authorized users.
Source of Description
Online resource; title from PDF title page (SpringerLink, viewed November 22, 2016).
Added Author
Series
Lecture notes in computer science ; 9971.
LNCS sublibrary. SL 2, Programming and software engineering.
LNCS sublibrary. SL 2, Programming and software engineering.
Linked Resources
Record Appears in