Langages applicatifs: spécification, programmation, vérification. Fascicule 9. - Hermes, 2005. - ( RSTI série TSI - Technique et Science Informatique ; 24).

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