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 Proceedings of the 18th International Conference on Software Engineering : March 25-29, 1996, Berlin, Germany / sponsored by the IEEE Computer Society Technical Council on Software Engineering, the Association for Computing Machinery (SIGSOFT), Gesellschaft für InformatikPublication :Los Alamitos, Calif. : IEEE Computer Society Press, c1996Description : xviii, 590 p. : ill. ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-2128] (1).
4. Congrès Proceedings of the ACM SIGPLAN--SIGSOFT Workshop on Program Analysis for Software Tools and Engineering : PASTE '2001 Snowbird, Utah,USA June 18-19, 2001 / sponsored by the Association for Computing Machinery, Special Interest Group on Programming Languages (SIGPLAN), and Special Interest Group on Software Engineering (SIGSOFT)Publication :New York, N.Y. : ACM Press, c2001Description : ix, 104 p. : ill. ; 28 cmAvailability: Copies available for loan: Centre de recherche en informatique[SNO 01] (2).

Powered by Koha