Your search returned 4 results. Subscribe to this search

|
1. Congrès Static analysis [Texte imprimé] : 10th international symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003 : proceedings / Radhia Cousot (ed.)Publication : Berlin, New York : Springer, cop. 2003Description : XIV-503 p. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[SAN 03] (1).
2. Congrès Static Analysis, 17th International Symposium, SAS 2010, Perpignan, France, September 2010 [ [Texte imprimé]] ; Eds.: Radhia Cousot, Matthieu MartelPublication : 2010, Berlin : SpringerDescription : 1 vol. (XI-471 p.) ; 24 cmAvailability: Copies available for reference: Bib. Fontainebleau[PER 10] (1).
3. Thèses Vérification de composants VHDL par interprétation abstraite [Texte imprimé] / par Charles Hymans ; sous la direction de Radhia CousotPublication : [S.l.] : [s.n.], 2004Description : 1 vol. (118 p.) ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[04 HYM] (1).
4. Congrès Verification, model checking, and abstract interpretation [Texte imprimé] : 6th international conference, VMCAI 2005, Paris, France, January 17-19, 2005 : Proceedings / Radhia Cousot (Ed.)Publication : Berlin, Heidelberg : Springer, cop. 2005Description : XI-481 p. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[PAR 05] (1).

Powered by Koha