Nantilus
Software specification methods
Enregistré dans:
| Autres auteurs : | , |
|---|---|
| Format : | Livre |
| Langue : | anglais |
| Titre complet : | Software specification methods / edited by Henri Habrias, Marc Frappier |
| Édition : | 2nd edition |
| Publié : |
London :
ISTE
, C 2006 |
| Description matérielle : | 1 vol. (XXV-418 p.) |
| Accès en ligne : |
Table des matières
Descripteur d'éditeur |
| Sujets : |
| LEADER | 02090cam a2200589 4500 | ||
|---|---|---|---|
| 001 | PPN10220277X | ||
| 003 | http://www.sudoc.fr/10220277X | ||
| 005 | 20231026060800.0 | ||
| 010 | |a 1-905209-34-7 | ||
| 010 | |a 978-1-905209-34-7 |b rel. | ||
| 020 | |a US |b 2006009290 | ||
| 035 | |a (OCoLC)491774398 | ||
| 073 | 0 | |a 9781905209347 | |
| 100 | |a 20060522d2006 k y0frey0103 ba | ||
| 101 | 0 | |a eng |2 639-2 | |
| 102 | |a GB | ||
| 105 | |a y | 001yy | ||
| 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 | |6 z01 |a nga |2 RDAfrCarrier | ||
| 200 | 1 | |a Software specification methods |f edited by Henri Habrias, Marc Frappier | |
| 205 | |a 2nd edition | ||
| 214 | 0 | |a London |c ISTE | |
| 214 | 4 | |d C 2006 | |
| 215 | |a 1 vol. (XXV-418 p.) |d 24 cm. | ||
| 320 | |a Bibliogr. p 407-409. Index | ||
| 321 | |a Table des matières |u http://www.loc.gov/catdir/toc/ecip0610/2006009290.html | ||
| 321 | |a Descripteur d'éditeur |u http://www.loc.gov/catdir/enhancements/fy0629/2006009290-d.html | ||
| 606 | |3 PPN050702858 |a Méthodes formelles (informatique) |2 rameau | ||
| 606 | |3 PPN027241408 |a Logiciels |3 PPN027794083 |x Spécifications |2 rameau | ||
| 676 | |a 004/.01/51 |v 22 | ||
| 680 | |a QA76.9.F67 |b S64 2006 | ||
| 686 | |a D.2.1 |2 acm | ||
| 686 | |a F.3 |2 acm | ||
| 702 | 1 | |3 PPN026911744 |a Habrias |b Henri |f 1946-.... |4 651 | |
| 702 | 1 | |3 PPN108918955 |a Frappier |b Marc |f 19..-.... |4 651 | |
| 801 | 3 | |a FR |b Abes |c 20221030 |g AFNOR | |
| 801 | 0 | |b DLC |g AACR2 | |
| 979 | |a IUTN | ||
| 979 | |a CCFA | ||
| 915 | |5 441092208:639673120 |b 17958 | ||
| 915 | |5 441092208:639673163 |b 18063 | ||
| 930 | |5 441092208:639673120 |b 441092208 |a LINA/68C347 |j u | ||
| 930 | |5 441092208:639673163 |b 441092208 |a 68C347 |j u | ||
| 930 | |5 441092206:801185068 |b 441092206 |j s | ||
| 991 | |5 441092208:639673120 |a exemplaire créé automatiquement par l'ABES | ||
| 991 | |5 441092208:639673163 |a exemplaire créé automatiquement par l'ABES | ||
| 991 | |5 441092206:801185068 |a Exemplaire créé en masse par ITEM. le 25-10-2023 14:15 | ||
| 998 | |a 464227 | ||