Exercices de programmation fonctionnelle en OCaml. Une approche pédagogique par l'algorithmique, la preuve et la complexitéFabienne Carrier, Pascal Lafourcade, Laurent Mounier39,00 €
Informatique théorique. Logique et démonstration automatique, Introduction à la logique propositionnelle et à la logique du premier ordrePascal Lafourcade, Michel Lévy, Stéphane Desvismes39,00 €
À paraîtreBases de données - Informatique BUT 2e année et L2Stéphane Devismes, Anaïs Durand, Pascal Lafourcade22,90 €
