Your search returned 2 results. Subscribe to this search

|
1. Congrès Static Analysis [] : 21th International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014 : Proceedings / Markus Müller-Olm, Helmut Seidl (eds.)Publication : Cham, Heidelberg : Springer, cop. 2014Description : 1 vol. (XVIII-337 p.) : fig., tabl. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[MUN 14] (1).
2. Congrès Verification, model checking, and abstract interpretation [ [Texte imprimé]] : 10th international conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009 : proceedings ; Neil D. Jones, Markus Müller-Olm (eds.)Publication : Berlin : Springer, cop. 2009Description : 1 vol. (XI-381 p.) : ill. ; 24 cmAvailability: Copies available for reference: Bib. Fontainebleau[SAV 09] (1).

Powered by Koha