Static Analysis: 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings (Lecture Notes in Computer Science, 8723). This item is unavailable.
Language: English
Published by Springer, 2014
- Softcover
- New
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
5-star seller
AbeBooks seller since March 25, 2015
Unavailable
Softcover
Condition: New
£ 55.95
Item description from seller
In English.
Seller Inventory # ria9783319109350_new
- Title
- Static Analysis: 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings (Lecture Notes in Computer Science, 8723)
- Publisher
- Springer
- Publication year
- 2014
- Condition
- New
- Binding
- Soft cover
- Language
- English
- ISBN 10
- 3319109359
- ISBN 13
- 9783319109350
- Item weight
- 620 grams
This book constitutes the thoroughly refereed proceedings of the 21st International Symposium on Static Analysis, SAS 2014, held in Munich, Germany, in September 2014. The 20 revised full papers were selected from 53 submissions and are presented together with 3 invited talks. The papers address all aspects of static analysis, including abstract interpretation, abstract testing, bug detection, data flow analysis, model checking, program transformation, program verification, security analysis, and type checking.
"Synopsis" may belong to another edition of this title.
From the Back Cover
This book constitutes the thoroughly refereed proceedings of the 21st International Symposium on Static Analysis, SAS 2014, held in Munich, Germany, in September 2014. The 20 revised full papers were selected from 53 submissions and are presented together with 3 invited talks. The papers address all aspects of static analysis, including abstract interpretation, abstract testing, bug detection, data flow analysis, model checking, program transformation, program verification, security analysis, and type checking.
"About the title" may belong to another edition of this title.
Search results for Static Analysis: 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings (Lecture Notes in Computer Science, 8723)
There are 6 more copies of this bookView all results