Nantilus
La notation Z
Enregistré dans:
| Auteur principal : | |
|---|---|
| Autres auteurs : | |
| Format : | Livre |
| Langue : | français |
| Titre complet : | La notation Z / J. Mike Spivey; traduit de l'anglais par M. Lemoine |
| Publié : |
Paris, London :
Masson
, 1994, cop. 1993 Prentice-Hall |
| Description matérielle : | 1 vol. (XII-155 p.) |
| Collection : | Méthodologies du logiciel (Paris) ; 4 |
| Traduction de : | The Z notation : a reference manual |
| Sujets : |
| LEADER | 03863cam a2201045 4500 | ||
|---|---|---|---|
| 001 | PPN013197940 | ||
| 003 | http://www.sudoc.fr/013197940 | ||
| 005 | 20231026060500.0 | ||
| 010 | |a 2-225-84367-8 |b br. |d 230 FRF | ||
| 020 | |a FR |b 09510394 | ||
| 021 | |a FR |b DL 94-19848 | ||
| 033 | |a http://catalogue.bnf.fr/ark:/12148/cb357083857 | ||
| 035 | |a 018131433 |9 sudoc | ||
| 035 | |a 05141368X |9 sudoc | ||
| 035 | |a (OCoLC)29707884 | ||
| 035 | |a sib0539509 | ||
| 035 | |a ocm29707884 | ||
| 035 | |a lm76859 | ||
| 035 | |a DYNIX_BUNAN_250414 | ||
| 035 | |a frBN017876877 | ||
| 035 | |a FRBNF357083850000001 |z FRBNF35708385 | ||
| 073 | 1 | |a 9782225843679 | |
| 100 | |a 19940419h19941993k y0frey0103 ba | ||
| 101 | 1 | |a fre |c eng |2 639-2 | |
| 102 | |a FR | ||
| 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 La notation Z |f J. Mike Spivey |g traduit de l'anglais par M. Lemoine | |
| 210 | |a Paris |c Masson |a London |c Prentice-Hall |d 1994, cop. 1993 | ||
| 215 | |a 1 vol. (XII-155 p.) |d 24 cm | ||
| 225 | 0 | |a Méthodologies du logiciel |x 1245-5656 |v 4 | |
| 304 | |a Trad. de : "The Z notation : a reference manual" | ||
| 320 | |a Glossaire. Index | ||
| 410 | | | |0 002780623 |t Méthodologies du logiciel (Paris) |x 1242-5656 |v 4 | |
| 454 | | | |t The Z notation |o a reference manual | |
| 606 | |3 PPN031352812 |a Z (méthode formelle) |2 rameau | ||
| 606 | |3 PPN027241408 |a Logiciels |3 PPN027794083 |x Spécifications |2 rameau | ||
| 606 | |3 PPN027442306 |a Systèmes, Conception de |2 rameau | ||
| 675 | |a 681.3.06 |v Éd. 1967 | ||
| 676 | |a 005.133 | ||
| 680 | |a QA76.73.Z | ||
| 686 | |a D.3 |2 acm | ||
| 700 | 1 | |3 PPN033301883 |a Spivey |b J. Mike |4 070 | |
| 702 | 1 | |3 PPN066886953 |a Lemoine |b Marie Dujardin Beaumetz |4 730 | |
| 801 | 3 | |a FR |b Abes |c 20220927 |g AFNOR |h 018131433 | |
| 801 | 3 | |a FR |b Abes |c 20220927 |g AFNOR |h 05141368X | |
| 801 | 3 | |a FR |b SF |g AFNOR | |
| 801 | 1 | |a US |b OCLC |g AACR2 | |
| 801 | 2 | |a FR |b AUROC |g AFNOR | |
| 801 | 3 | |a FR |b BN |g AFNOR | |
| 979 | |a IUTN | ||
| 979 | |a SCI | ||
| 915 | |5 441092104:18017987X |a 1160933704 |b 1160933704 | ||
| 915 | |5 441092104:180179888 |a 1160933674 |b 1160933674 | ||
| 915 | |5 441092104:180179896 |a 1160933643 |b 1160933643 | ||
| 915 | |5 441092104:18017990X |a 1160933667 |b 1160933667 | ||
| 915 | |5 441092104:180179918 |a 1160933681 |b 1160933681 | ||
| 915 | |5 441092104:180179926 |a 1160933636 |b 1160933636 | ||
| 915 | |5 441092104:180179934 |a 1160788311 |b 1160788311 | ||
| 915 | |5 441092104:180179942 |a 1160933650 |b 1160933650 | ||
| 915 | |5 441092104:180179950 |a 1160933711 |b 1160933711 | ||
| 915 | |5 441092104:180179969 |a 1160933698 |b 1160933698 | ||
| 919 | |5 441092104:18017987X |a 1160933704 | ||
| 919 | |5 441092104:180179888 |a 1160933674 | ||
| 919 | |5 441092104:180179896 |a 1160933643 | ||
| 919 | |5 441092104:18017990X |a 1160933667 | ||
| 919 | |5 441092104:180179918 |a 1160933681 | ||
| 919 | |5 441092104:180179926 |a 1160933636 | ||
| 919 | |5 441092104:180179934 |a 1160788311 | ||
| 919 | |5 441092104:180179942 |a 1160933650 | ||
| 919 | |5 441092104:180179950 |a 1160933711 | ||
| 919 | |5 441092104:180179969 |a 1160933698 | ||
| 930 | |5 441092104:18017987X |b 441092104 |j u | ||
| 930 | |5 441092104:180179888 |b 441092104 |j u | ||
| 930 | |5 441092104:180179896 |b 441092104 |j u | ||
| 930 | |5 441092104:18017990X |b 441092104 |j u | ||
| 930 | |5 441092104:180179918 |b 441092104 |j u | ||
| 930 | |5 441092104:180179926 |b 441092104 |j u | ||
| 930 | |5 441092104:180179934 |b 441092104 |j u | ||
| 930 | |5 441092104:180179942 |b 441092104 |j u | ||
| 930 | |5 441092104:180179950 |b 441092104 |j u | ||
| 930 | |5 441092104:180179969 |b 441092104 |j u | ||
| 930 | |5 441092206:801179033 |b 441092206 |j s | ||
| 991 | |5 441092206:801179033 |a Exemplaire créé en masse par ITEM. le 25-10-2023 14:07 | ||
| 998 | |a 197283 | ||