Spécifications algébriques, algorithmique et programmation
De Jean-François Dufourd, Dominique Bechmann et Yves Bertrand.
Paru en 12/1997
Il a été mon livre de chevet pendant le temps de mes études à la faculté de Dijon, une aide essentiel pour qui veut construire et comprendre l'essence des types et des algorithmes qui jouent avec.






