Automated technology for verification and analysis [electronic resource] : 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings / Bernd Finkbeiner, Geguang Pu, Lijun Zhang (eds.).
2015
QA76.9.A96
Formats
| Format | |
|---|---|
| BibTeX | |
| MARCXML | |
| TextMARC | |
| MARC | |
| DublinCore | |
| EndNote | |
| NLM | |
| RefWorks | |
| RIS |
Cite
Citation
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 [electronic resource] : 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings / Bernd Finkbeiner, Geguang Pu, Lijun Zhang (eds.).
Meeting Name
ISBN
9783319249537 electronic book
3319249533 electronic book
9783319249520
3319249533 electronic book
9783319249520
Published
Cham : Springer, 2015.
Language
English
Description
1 online resource (xiii, 520 pages) : illustrations.
Item Number
10.1007/978-3-319-24953-7 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 December 14, 2015).
Series
Lecture notes in computer science ; 9364.
LNCS sublibrary. SL 2, Programming and software engineering.
LNCS sublibrary. SL 2, Programming and software engineering.
Linked Resources
Record Appears in