Radhia Cousot – författare
Visar alla böcker från författaren Radhia Cousot. Handla med fri frakt och snabb leverans.
7 produkter
Verification, Model Checking, and Abstract Interpretation
6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings
Häftad, 2005
566 kr
Lägg i varukorg
This volume contains the papers accepted for presentation at the 6th Inter- tional Conference on Veri?cation, Model Checking and Abstract Interpretation (VMCAI 2005), which was held January 17-19, 2005 in Paris, France. VMCAI provides a forum for researchers from the communities of veri?- tion, …
Verification, Model Checking, and Abstract Interpretation
6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings
E-bok, 2005
755 kr
Lägg i varukorg
Static Analysis
10th International Symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003. Proceedings
Häftad, 2003
566 kr
Lägg i varukorg
The refereed proceedings of the 10th International Symposium on Static Analysis, SAS 2003, held in San Diego, CA, USA in June 2003 as part of FCRC 2003. The 25 revised full papers presented together with two invited contributions were carefully reviewed and selected from 82 submissions. The papers …
Static Analysis
10th International Symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003. Proceedings
E-bok, 2003
755 kr
Lägg i varukorg
Static Analysis
Third International Symposium, SAS '96, Aachen, Germany, September 24 - 26, 1996. Proceedings
Av Radhia Cousot, David A. Schmidt
Häftad, 1996
566 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the Third International Static Analysis Symposium, SAS '96, held in Aachen, Germany, in September 1996 in conjunction with ALP and PLILP.The volume presents 22 highly-quality revised full papers selected from a total of 79 submissions; also included …
Static Analysis
17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010, Proceedings
Av Radhia Cousot, Matthieu Martel
Häftad, 2010
566 kr
Lägg i varukorg
Static analysis is a research area aimed at developing principles and tools for veri?cation, certi?cation, semantics-based manipulation, and high-performance implementation of programming languages and systems. The series of Static Analysis Symposia has served as the primary venue for presentation …
Static Analysis
17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010, Proceedings
Av Matthieu Martel, Radhia Cousot
E-bok, 2010
755 kr
Lägg i varukorg
