Spécification formelle avec B
Enregistré dans:
Auteur principal : | |
---|---|
Autres auteurs : | , |
Format : | Livre |
Langue : | français |
Titre complet : | Spécification formelle avec B / Henri Habrias; avec la collaboration de Jean-Yves Lafaye, Marie-Laure Potet |
Publié : |
Paris :
Hermès Science
, DL 2001 Lavoisier |
Description matérielle : | 1 volume (414 pages) |
Collection : | Collection Informatique (Paris. 1992) |
Sujets : |
LEADER | 02336cam a2200601 4500 | ||
---|---|---|---|
001 | PPN059257199 | ||
003 | http://www.sudoc.fr/059257199 | ||
005 | 20240820080000.0 | ||
010 | |a 2-7462-0302-2 |b br. |d 570,68 FRF | ||
035 | |a (OCoLC)421899505 | ||
035 | |a DYNIX_BUFDF_149748 | ||
035 | |a bua134370 | ||
073 | 1 | |a 9782746203020 | |
100 | |a 20011212d2001 k y0frey0103 ba | ||
101 | 0 | |a fre |2 639-2 | |
102 | |a FR | ||
105 | |a a a 000yy | ||
106 | |a r | ||
181 | |6 z01 |c txt |2 rdacontent | ||
181 | 1 | |6 z01 |a i# |b xxxe## | |
182 | |6 z01 |c n |2 rdamedia | ||
182 | 1 | |6 z01 |a n | |
183 | 1 | |6 z01 |a nga |2 RDAfrCarrier | |
200 | 1 | |a Spécification formelle avec B |f Henri Habrias |g avec la collaboration de Jean-Yves Lafaye, Marie-Laure Potet | |
214 | 0 | |a Paris |c Hermès Science |c Lavoisier |d DL 2001 | |
215 | |a 1 volume (414 pages) |c tableaux, graphiques, couverture illustrée en couleur |d 24 cm | ||
225 | 0 | |a Collection Informatique |x 1242-7691 | |
320 | |a Bibliographie p. 407-414 | ||
410 | | | |0 002838826 |t Collection Informatique (Paris. 1992) |x 1242-7691 | |
606 | |3 PPN033440506 |a Rétro-ingénierie (informatique) |2 rameau | ||
606 | |3 PPN027673529 |a Génie logiciel |2 rameau | ||
606 | |3 PPN035004355 |a B (méthode formelle) |2 rameau | ||
676 | |a 005.1 |v 21 | ||
700 | 1 | |3 PPN026911744 |a Habrias |b Henri |f 1946-.... |4 070 | |
702 | 1 | |3 PPN059545046 |a Lafaye |b Jean-Yves |4 205 | |
702 | 1 | |3 PPN034097600 |a Potet |b Marie-Laure |f 1959-.... |c auteure en informatique |4 205 | |
801 | 3 | |a FR |b Abes |c 20240704 |g AFNOR | |
979 | |a ECN | ||
979 | |a IUTN | ||
979 | |a SCI | ||
979 | |a CCFA | ||
930 | |5 441092104:154354023 |b 441092104 |l 483720 |j u | ||
930 | |5 441092208:639599281 |b 441092208 |a IRIN/68C67 |j u | ||
930 | |5 441092208:639599346 |b 441092208 |a IRIN/68C67 |j u | ||
930 | |5 441092206:801184770 |b 441092206 |j s | ||
930 | |5 441092306:827900813 |b 441092306 |j u | ||
915 | |5 441092208:639599281 |b 13709 | ||
915 | |5 441092208:639599346 |b 13710 | ||
991 | |5 441092208:639599281 |a exemplaire créé automatiquement par l'ABES | ||
991 | |5 441092208:639599346 |a exemplaire créé automatiquement par l'ABES | ||
991 | |5 441092206:801184770 |a Exemplaire créé en masse par ITEM. le 25-10-2023 14:15 | ||
991 | |5 441092306:827900813 |a Exemplaire créé en masse par ITEM le 26-07-2024 13:43 | ||
998 | |a 56535 |