Static analysis [electronic resource] : 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings / Sandrine Blazy, Thomas Jensen, editors.
2015
QA76.6
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
Static analysis [electronic resource] : 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings / Sandrine Blazy, Thomas Jensen, editors.
ISBN
9783662482889 electronic book
3662482886 electronic book
9783662482872
3662482886 electronic book
9783662482872
Published
Heidelberg : Springer, 2015.
Language
English
Description
1 online resource (xvi, 333 pages) : illustrations.
Item Number
10.1007/978-3-662-48288-9 doi
Call Number
QA76.6
Dewey Decimal Classification
005.1
Note
International conference proceedings.
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 September 11, 2015).
Added Author
Blazy, Sandrine, editor.
Jensen, Thomas, editor.
Jensen, Thomas, editor.
Series
Lecture notes in computer science ; 9291.
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