Automated technology for verification and analysis : 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings / Shuvendu K. Lahiri, Chao Wang (editors).
2018
QA76.9.A96
Linked e-resources
Linked Resource
Concurrent users
Unlimited
Authorized users
Authorized users
Document Delivery Supplied
Can lend chapters, not whole ebooks
Details
Title
Automated technology for verification and analysis : 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings / Shuvendu K. Lahiri, Chao Wang (editors).
Meeting Name
ISBN
9783030010904 (electronic book)
3030010902 (electronic book)
9783030010898
3030010902 (electronic book)
9783030010898
Published
Cham, Switzerland : Springer, 2018.
Language
English
Description
1 online resource (xiii, 560 pages) : illustrations.
Item Number
10.1007/978-3-030-01090-4 doi
Call Number
QA76.9.A96
Dewey Decimal Classification
006.3/33
Note
Includes author index.
Access Note
Access limited to authorized users.
Source of Description
Online resource; title from PDF title page (SpringerLink, viewed October 4, 2018).
Added Author
Series
Lecture notes in computer science ; 11138.
LNCS sublibrary. SL 2, Programming and software engineering.
LNCS sublibrary. SL 2, Programming and software engineering.
Linked Resources
Record Appears in