Take a photo of a barcode or cover
Read With Others
Book Information
396 pages • paperback • 2 editions
ISBN/UID: 9783540227915
Format: Paperback
Language: English
Publisher: Springer
Edition Pub Date: 17 Aug 2004
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
396 pages • paperback
ISBN/UID: 9783540227915
Format: Paperback
Language: English
Publisher: Springer
Edition Pub Date: 17 Aug 2004
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