Approches formelles pour l'aide au développement de logiciels. - Hermes, 2001. - ( RSTI série TSI - Technique et Science Informatique ; 20).

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