Tác giả: Gilberto File

Ủng hộ

2 Ebooks bởi 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
Anh
DRM
€57.74
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
Anh
DRM
€57.99