Your search returned 10 results. Subscribe to this search

|
1. Congrès Computer aided verification [Texte imprimé] : 20th international conference, CAV 2008, Princeton, NJ, USA, July 7-14, 2008 : proceedings / Aarti Gupta, Sharad Malik (Eds.)Publication : Berlin, New York : Springer, cop. 2008Description : 1 vol. (XVII-558 p.) : ill. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[PRI 08] (1).
2. Congrès Computer aided verification [ [Texte imprimé]] : 18th international conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006 : proceedings ; Thomas Ball, Robert B. Jones (eds.)Publication : Berlin, New York : Springer, 2006Description : 1 vol. (XV-564 p.) : ill. ; 24 cmAvailability: Copies available for reference: Bib. Fontainebleau[SEA 06] (1).
3. Congrès Computer aided verification [ [Texte imprimé]] : 22nd International conference, CAV 2010, Edinburgh, UK, July 15-19, 2010 : proceedings ; Tayssir Touili, Byron Cook, Paul Jackson (eds.)Publication : Berlin, New York : Springer, cop. 2010Description : 1 vol. (XVI-676 p.) : ill. ; 24 cmAvailability: Copies available for reference: Bib. Fontainebleau[EDI 10] (1).
4. Livres Anciens Computer aided verification [] : 24th International conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 : proceedings / P. Madhusudan, Sanjit A. Seshia (eds.)Publication : Berlin, Heidelberg : Springer, cop. 2012Description : 1 vol. (XVI-789 p.) : fig., graph., tabl. ; 24 cmAvailability: Copies available for reference: Bib. Fontainebleau[BER 12] (1).
5.  Monographies, textes Verification [] : theory and practice : essays dedicaced to Zohar Manna on the occasion of his 64th birthday / Nachum Dershowitz (ed.)Publication : Berlin, Heidelberg, New York : Springer, cop.2003Description : XV-782 p. : couv. ill. en coul., 1 portr. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[DER] (1).
6. 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).
7. 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).
8. 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).
9. 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).
10. 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