2 หนังสืออิเล็กทรอนิกส์โดย Gilberto File
Agostino Cortesi & Gilberto File: Static Analysis
Static analysis is increasingly recognized as a fundamental reasearch area aimed at studying and developing tools for high performance implementations and v- i cation systems for all programming lang …
PDF
อังกฤษ
DRM
€57.85
Gilberto File & Hanne Riis Nielson: Static Analysis
The aim of static analysis is to develop principles, techniques and tools for validatingpropertiesofprograms, fordesigningsemantics-basedtransformations of programs and for obtaining high-performance …
PDF
อังกฤษ
DRM
€57.99