Approches formelles dans l'assistance au développement de logiciels. - Hermes, 2002. - ( RSTI série TSI - Technique et Science Informatique ; 21).

1. Cote: 18309. En rayon: classement par collection. Exclu du prêt.