Description: Static Analysis Please note: this item is printed on demand and will take extra time before it can be dispatched to you (up to 20 working days). 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings Author(s): Markus Muller-Olm, Helmut Seidl Format: Paperback Publisher: Springer International Publishing AG, Switzerland Imprint: Springer International Publishing AG ISBN-13: 9783319109350, 978-3319109350 Synopsis 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.
Price: 38.61 GBP
Location: Aldershot
End Time: 2025-01-12T09:06:28.000Z
Shipping Cost: 28.14 GBP
Product Images
Item Specifics
Return postage will be paid by: Buyer
Returns Accepted: Returns Accepted
After receiving the item, your buyer should cancel the purchase within: 60 days
Return policy details:
Book Title: Static Analysis
Number of Pages: 337 Pages
Language: English
Publication Name: Static Analysis: 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings
Publisher: Springer International Publishing A&G
Publication Year: 2014
Subject: Computer Science
Item Height: 235 mm
Item Weight: 5387 g
Type: Textbook
Author: Markus Muller-Olm, Helmut Seidl
Series: Theoretical Computer Science and General Issues
Item Width: 155 mm
Format: Paperback
