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

Aucun commentaire: