Affichage des articles dont le libellé est livres. Afficher tous les articles
Affichage des articles dont le libellé est livres. Afficher tous les articles

jeudi 3 avril 2008

Un livre rarement cité dans les biblios de spec

Pascal Gochet, Pascal Gribomont, Logique, méthodes formelles pour l'étude des programmes, Vol. 2, Hermes, 1994