Nantilus
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