Potet, Marie-Laure (dir.) & Schobbens, Pierre-Yves (dir.)

Approches formelles pour le développement de logiciels. Volume 27, numéro 8. - Hermes, 2008. - ( RSTI série TSI - Technique et Science Informatique ; 27).

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