You need to sign in or sign up before continuing.
Take a photo of a barcode or cover
Read With Others
Book Information
471 pages • paperback • 2 editions
ISBN/UID: 9783642157684
Format: Paperback
Language: English
Publisher: Springer
Edition Pub Date: 09 Sep 2010
Description
Static analysis is a research area aimed at developing principles and tools for veri?cation, certi?cation, semantics-based manipulation, and high-performance implementation of programming languages and systems. The series of Static Analysis Sympos...
Community Reviews
Content Warnings
471 pages • paperback
ISBN/UID: 9783642157684
Format: Paperback
Language: English
Publisher: Springer
Edition Pub Date: 09 Sep 2010
Description
Static analysis is a research area aimed at developing principles and tools for veri?cation, certi?cation, semantics-based manipulation, and high-performance implementation of programming languages and systems. The series of Static Analysis Sympos...
Community Reviews
Content Warnings