Take a photo of a barcode or cover
Read With Others
Book Information
433 pages • paperback • 1 edition
ISBN/UID: 9783540676683
Format: Paperback
Language: English
Publisher: Springer
Edition Pub Date: 14 Jun 2000
Description
Static Analysis is a research area aimed at developing principles and tools for high-performance implementation and veri?cation of programming languages. The seriesofStatic AnalysisSymposiais aforumforpresentationanddiscussion of advances in the a...
Community Reviews
Content Warnings
433 pages • paperback
ISBN/UID: 9783540676683
Format: Paperback
Language: English
Publisher: Springer
Edition Pub Date: 14 Jun 2000
Description
Static Analysis is a research area aimed at developing principles and tools for high-performance implementation and veri?cation of programming languages. The seriesofStatic AnalysisSymposiais aforumforpresentationanddiscussion of advances in the a...