Static Analysis : 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings
2014 ed.
Book Details
Format
Paperback / Softback
ISBN-10
3319109359
ISBN-13
9783319109350
Edition
2014 ed.
Publisher
Springer International Publishing AG
Imprint
Springer International Publishing AG
Country of Manufacture
CH
Country of Publication
GB
Publication Date
Aug 20th, 2014
Print length
337 Pages
Product Classification:
Compilers Software Engineering Mathematical theory of computation
Ksh 8,100.00
Werezi Extended Catalogue
Delivery Location
Delivery fee: Select location
Delivery in 28 days
Secure
Quality
Fast
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.
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.
Get Static Analysis by at the best price and quality guaranteed only at Werezi Africa's largest book ecommerce store. The book was published by Springer International Publishing AG and it has pages.
Mind, Body, & Spirit
Shopping Cart
Africa largest book store
Sub Total:
Digital Library
Coming Soon
Our digital collection is currently being curated to ensure the best possible reading experience on Werezi. We'll be launching our Ebooks platform shortly.