Julliand, Jacques (dir) & Souquières, Jeanine (dir)

Approches formelles pour le développement de logiciels. Fascicule 1. - Hermes, 2006. - ( RSTI série TSI - Technique et Science Informatique ; 25).

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