Nantilus
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 vol. (414 p.) |
| Collection : | Collection Informatique (Paris. 1992) |
| Sujets : |
| LEADER | 02164cam a2200577 4500 | ||
|---|---|---|---|
| 001 | PPN059257199 | ||
| 003 | http://www.sudoc.fr/059257199 | ||
| 005 | 20231026060600.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 vol. (414 p.) |c tabl., graph., couv. ill. en coul. |d 24 cm | ||
| 225 | 0 | |a Collection Informatique |x 1242-7691 | |
| 320 | |a Bibliogr. 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 20180227 |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 | ||
| 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 | ||
| 998 | |a 56535 | ||