Your search returned 12 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é] : 21st international conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009 : proceedings / Ahmed Bouajjani, Oded Maler (eds.)Publication : Berlin, New York : Springer, cop. 2009Description : 1 vol. (XV-722 p.) : ill. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[GRE 09] (1).
3. Congrès Computer aided verification [] : 13th International conference, CAV 2001, Paris, France, July 18-22, 2001 : proceedings / Gérard Berry, Hubert Comon, Alain Finkel (eds.)Publication : Berlin : Springer, cop. 2001Description : 1 vol. (XIII-520 p.) : ill. ; 24 cmAvailability: Copies available for reference: Bib. Fontainebleau[PAR 01] (1).
4. Congrès Computer aided verification [ [Texte imprimé]] : 15th international conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003 : proceedings ; Warren A. Hunt, Jr., Fabio Somenzi (eds.)Publication : Berlin, New York : Springer, cop. 2003Description : 1 vol. (XII-462 p.) ; 24 cmAvailability: Copies available for reference: Bib. Fontainebleau[BOU 03] (1).
5. Congrès Computer aided verification [ [Texte imprimé]] : 16th international conference, CAV 2004, Boston, MA, USA, July 13-17, 2004proceedings ; Rajeev Alur, Doron A. Peled (eds.)Publication : Berlin, New York : Springer, cop. 2004Description : 1 vol. (XII-536 p.) : Ill. ; 24 cmAvailability: Copies available for reference: Bib. Fontainebleau[BOS 04] (1).
6. Congrès Computer aided verification [ [Texte imprimé]] : 17th international conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005 : proceedings ; Kousha Etessami, Sriram Rajamani (Eds.)Publication : Berlin, New York, NY : Springer, 2005Description : 1 vol. (XV-564 p.) ; 24 cmAvailability: Copies available for reference: Bib. Fontainebleau[EDI 05] (1).
7. 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).
8. Livres Anciens Computer aided verification [] : 25th International conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013 : proceedings / Natasha Sharygina, Helmut Veith (eds.)Publication : Berlin, Heidelberg : Springer, cop. 2013Description : 1 vol. (XXI-1015 p.) : fig., graph., tabl. ; 24 cmAvailability: Copies available for reference: Bib. Fontainebleau[SAI 13] (1).
9. Congrès Tools and algorithms for the construction and analysis of systems [Texte imprimé] : 8th international conference, TACAS 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 2002 : proceedings / Joost-Pieter Katoen, Perdita Stevens (eds.)Publication : New York, heidelberg : Springer, cop. 2002Description : 1 vol. (XIII-482 p.) ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[GRE 02] (1).
10. Congrès Tools and algorithms for the construction and analysis of systems [Texte imprimé] : 9th international conference, TACAS 2003, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003 : proceedings / Hubert Garavel, John Hatcliff (eds.)Publication : Berlin, New York : Springer, cop. 2003Description : XVI-604 p. ; 24 cmAvailability: Copies available for loan: Centre de recherche en informatique[WAR 03] (1).
11.  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).
12. Congrès Verification, model checking, and abstract interpretation [Texte imprimé] : 5th international conference, VMCAI 2004, Venice, Italy, January 11-13, 2004 : proceedings / Bernhard Steffen, Giorgio Levi (eds)Publication : Berlin, New York : Springer, cop. 2004Description : XI-324 p. ; 24 cmAvailability: Copies available for loan: Centre de recherche en informatique[VEN 04] (1).

Powered by Koha