Patrick Cousot – författare
Visar alla böcker från författaren Patrick Cousot. Handla med fri frakt och snabb leverans.
3 produkter
Static Analysis
8th International Symposium, SAS 2001, Paris, France, July 16-18, 2001. Proceedings
Häftad, 2001
567 kr
Lägg i varukorg
Staticanalysisisaresearchareaaimedatdevelopingprinciplesandtoolsforv- i cation and semantics-based manipulation of programs and high-performance implementation of programming languages. The series of Static Analysis S- posia is a forum for the presentation and discussion of advances in the area. …
Static Analysis
8th International Symposium, SAS 2001, Paris, France, July 16-18, 2001. Proceedings
E-bok, 2003
755 kr
Lägg i varukorg
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 …
