Normal view MARC view ISBD view

2nd International workshop on automated program analysis, testing, and verification (WAPATV) : ICSE 2001 workshop 4 / Nigel Tracey, John Penix, Willem C. Visser

Publication :New York : ACM, 2001Description : Pagination aléatoire : Ill. ; 28 cmSujet : ANALYSE SEMANTIQUE ;PROGRAMMATION ORIENTEE OBJET ;TEST ;Langage JAVA ;Preuve de programme
Current location Call number Status Date due Barcode
Centre de recherche en informatique
TOR 01 Available CRI04639D

Notes bibliogr.

Powered by Koha