Jézéquel, Jean-Marc (dir) & Souquières, Jeanine (dir)

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

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