Static Analysis : 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings

2014 ed.

Book Details

Format Paperback / Softback

Book Series Theoretical Computer Science and General Issues

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

AI Summary

Ksh 8,100.00

Werezi Extended Catalogue 0 in stock

Delivery Location

County

Location

Delivery fee: Select location

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.