Your search returned 4 results. Subscribe to this search

|
1. Congrès Automated technology for verification and analysis [Texte imprimé] : Third international symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005 : proceedings / Doron A. Peled, Yih-Kuen Tsay (Eds.)Publication : Berlin, New York, NY : Springer, cop. 2005Description : 1 vol. (XII-506 p.) : ill. ; 24 cmAvailability: Copies available for loan: Centre de recherche en informatique[TAI 05] (1).
2. Congrès ISSTA 2002 [Texte imprimé] : proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis, Roma, Italy, July 22-24, 2002 / ed. by Phyllis G. FranklSet Level : , Software engineering notes, v. 27, no. 4Publication : New York, N.Y. : ACM Press, cop. 2002Description : VII-243 p. ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[ROM 02] (1).
3. 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).
4. 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).

Powered by Koha