Logique : 2 Méthodes formelles pour l'étude des programmes
Enregistré dans:
Auteurs principaux : | , |
---|---|
Format : | Livre |
Langue : | français |
Titre complet : | Logique. 2, Méthodes formelles pour l'étude des programmes / Paul Gochet, Pascal Gribomont |
Publié : |
Paris :
Hermès
, 1994 |
Description matérielle : | 351 p. |
Collection : | Langue, raisonnement, calcul (Paris) |
Sujets : |
Chargement en cours