Mise en oeuvre de la méthode B
שמור ב:
| מחבר ראשי: | Boulanger, Jean-Louis, 1966- |
|---|---|
| פורמט: | Livre papier |
| שפה: | Français |
| יצא לאור: |
Paris :
Hermès science : Lavoisier
DL 2013.
|
| סדרה: | Informatique et systèmes d'information. Recherche, technologie, applications
|
| נושאים: | |
| Autres localisations: | Voir dans le Sudoc |
פריטים דומים
-
Outils de mise en oeuvre industrielle des méthodes formelles
(Livre papier)
Hermès science publications : Lavoisier, 2012 -
Spécification formelle avec B
(Livre papier)
Habrias, Henri, 1946-
Hermès Science : Lavoisier, 2001 - B'98 : recent advances in the development and use of the B method : second International B Conference, Montpellier, France, April 22-24, 1998 : proceedings (Livre numérique)
-
Méthode B
(Livre papier)
Hermès Science : Lavoisier, 2003 - ZB 2003 : formal specification and development in Z and B : third International Conference of B and Z Users Turku, Finland, June 4 6, 2003 : proceedings (Livre numérique)

