Automated technology for verification and analysis : 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings / Cyrille Artho, Axel Legay, Doron Peled (eds.).
2016
QA76.9.A96
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
Automated technology for verification and analysis : 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings / Cyrille Artho, Axel Legay, Doron Peled (eds.).
Meeting Name
ATVA (Symposium) (14th : 2016 : Chiba, Japan)
ISBN
9783319465203 (electronic book)
3319465201 (electronic book)
9783319465197
3319465201 (electronic book)
9783319465197
Published
Cham, Switzerland : Springer, 2016.
Language
English
Description
1 online resource (xi, 530 pages) : illustrations.
Item Number
10.1007/978-3-319-46520-3 doi
Call Number
QA76.9.A96
Dewey Decimal Classification
006.3/33
Note
International conference proceedings.
Includes author index.
Includes author index.
Access Note
Access limited to authorized users.
Source of Description
Online resource; title from PDF title page (SpringerLink, viewed October 13, 2016).
Series
Lecture notes in computer science ; 9938.
LNCS sublibrary. SL 2, Programming and software engineering.
LNCS sublibrary. SL 2, Programming and software engineering.
Linked Resources
Online Access
Record Appears in
Online Resources > Ebooks
All Resources
All Resources