Gilberto File – författare
Visar alla böcker från författaren Gilberto File. Handla med fri frakt och snabb leverans.
5 produkter
Static Analysis
6th International Symposium, SAS''99, Venice, Italy, September 22-24, 1999, Proceedings
Av Gilberto File, Agostino Cortesi
E-bok, 2003
755 kr
Lägg i varukorg
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 language paradigms. The last two decades have witnessed substantial developments in this eld, ranging …
Static Analysis
Third International Workshop, WSA '93, Padova, Italy, September 22-24, 1993. Proceedings
Av Patrick Cousot, Moreno Falaschi m. fl.
Häftad, 1993
567 kr
Lägg i varukorg
This volume constitutes the proceedings of the thirdInternational Workshop on Static Analysis (WSA`93), held inPadova, Italy, in September 1993. The objective of theinternational workshop series WSA is to serve as a forum forthe discussion of the various aspects of static analysis indifferent …
Static Analysis
6th International Symposium, SAS'99, Venice, Italy, September 22-24, 1999, Proceedings
Av Agostino Cortesi, Gilberto File
Häftad, 1999
567 kr
Lägg i varukorg
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 language paradigms. The last two decades have witnessed substantial developments in this eld, ranging …
Static Analysis
14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007, Proceedings
Av Hanne Riis Nielson, Gilberto Filé
Häftad, 2007
567 kr
Lägg i varukorg
The aim of static analysis is to develop principles, techniques and tools for validatingpropertiesofprograms,fordesigningsemantics-basedtransformations of programs and for obtaining high-performance implementations of high-level programming languages. Over the years the series of static analysis …
Static Analysis
14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007, Proceedings
Av Gilberto File, Hanne Riis Nielson
E-bok, 2007
739 kr
Lägg i varukorg
The aim of static analysis is to develop principles, techniques and tools for validatingpropertiesofprograms,fordesigningsemantics-basedtransformations of programs and for obtaining high-performance implementations of high-level programming languages. Over the years the series of static analysis …
