Your search returned 28 results. Subscribe to this search

|
26. Congrès Verification, Model Checking, and Abstract Interpretation [ [Texte imprimé]] : 11th International Conference, VMCAI 2010, Madrid, Spain, USA, January 17-19, 2010 : proceedings ; Gilles Barthe, Manuel Hermenegildo (eds.)Publication : Berlin : Springer, cop. 2010Description : 1 vol. (X-397 p.) : ill. ; 24 cmAvailability: Copies available for reference: Bib. Fontainebleau[MAD 10] (1).
27. Congrès Verification, Model Checking, and Abstract Interpretation [] : 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015 : Proceedings / Deepak D'Souza, Akash Lal, Kim Guldstrand Larsen (eds.)Publication : Berlin : Springer, cop. 2015Description : 1 vol. (XVIII-467 p.) : ill. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[MUM 15] (1).
28. Congrès Verification, Model Checking, and Abstract Interpretation : 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA. January 17-19, 2016 : Proceedings ; Barbara Jobstmann, K. Rustan M. Leino (eds.)Publication : Berlin : Springer, cop. 2016Description : 1 vol. (XIII-558 p.) : ill. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[St. PET 16] (1).

Powered by Koha