Your search returned 4 results. Subscribe to this search

|
1. 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).
2.  Monographies, textes Software Systems Safety ; edited by Orna Grumberg, Helmut Seidl, Maximilian IrlbeckPublication : Amsterdam, Washington, DC : IOS Press, cop. 2014Description : 1 vol. (VII-445 p.) ; 25 cmAvailability: Copies available for reference: Centre de recherche en informatique[SOF] (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