Your search returned 2 results. Subscribe to this search

|
1. Congrès Static analysis [Texte imprimé] : 11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004proceedings / Roberto Giacobazzi (ed.)Publication :Berlin, New York : Springer, cop. 2004Description : XI-392 p. : ill. ; 24 cmAvailability: Copies available for loan: Centre de recherche en informatique[VER 04] (1).
2.  Monographies, textes Verification, model checking, and abstract interpretation [ [Texte imprimé]] : 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013, proceedings ; Roberto Giacobazzi, Josh Berdine, Isabella Mastroeni (Eds.)Publication :Heidelberg, Dordrecht, London, New York : Springer, cop. 2013Description : 1 vol. (XI-556 p.) ; 24 cmAvailability: Copies available for reference: Bib. Fontainebleau[ROM 13] (1).

Powered by Koha

//]]>