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 : |
BU Censive
| | Cote | Prêt | Statut |
|---|---|---|---|
| Bât. Censive, 1er étage, salle 111 | L 15372 | Empruntable | Disponible |
BU Sciences
| | Cote | Prêt | Statut |
|---|---|---|---|
| Magasin n.3 | 681.31 GOC/2639 | Empruntable | Disponible |