Dubois, Catherine & Laleau, Régine (dirs.)

Approches formelles pour le développement de logiciels. - Lavoisier, 2015. - ( RSTI série TSI - Technique et Science Informatique ; 34).

  1. Cote: 23976. En rayon: classement par collection.