La méthode de spécification formelle B
construction de modèles mathématique
auteur :Jean-Raymond Abrial
Sujet :B (méthode formelle)
- Première parution
- 1995
- Éditeur
- IUT informatiqueNantes
- Pages
- —
- Éditions
- 1
- Langue
- Français
Trouver ce livre d’occasion
Recherche préremplie — titre et auteur, toutes éditions confondues — chez 8 marchands d’occasion et sites de petites annonces.
Édition
| Année | Éditeur | ISBN | Pages | Ville | Occasion | Notice | |
|---|---|---|---|---|---|---|---|
| 1995 | IUT informatique | 2-906082-20-1 | — | Nantes | AbeBooks · Momox |