Nantilus
La spécification formelle avec Z
Enregistré dans:
| Auteurs principaux : | , , |
|---|---|
| Format : | Livre |
| Langue : | français |
| Titre complet : | La spécification formelle avec Z / David Lightfoot; trad. par Henri Habrias et Pierre-Marie Delpech |
| Publié : |
Toulouse :
Teknéa
, 1994 31-L'Union : Impr. Paragraphic |
| Description matérielle : | 1 vol. (XIII-191 p.) |
| Traduction de : | Formal specification using Z |
| Sujets : |
| LEADER | 02393cam a2200697 4500 | ||
|---|---|---|---|
| 001 | PPN003327418 | ||
| 003 | http://www.sudoc.fr/003327418 | ||
| 005 | 20240124055500.0 | ||
| 010 | |a 2-87717-038-1 |b br. |d 140 F | ||
| 020 | |a FR |b 09513464 | ||
| 021 | |a FR |b DL 94-19525 | ||
| 033 | |a http://catalogue.bnf.fr/ark:/12148/cb35708160b | ||
| 035 | |a (OCoLC)31824123 | ||
| 035 | |a ocm31824123 | ||
| 035 | |a lm77041 | ||
| 035 | |a sib0589632 | ||
| 035 | |a DYNIX_BUNAN_213464 | ||
| 035 | |a frBN017871887 | ||
| 035 | |a FRBNF357081600000001 |z FRBNF35708160 | ||
| 073 | 0 | |a 9782877170383 | |
| 100 | |a 19940825d1994 m y0frey0103 ba | ||
| 101 | 1 | |a fre |c eng |2 639-2 | |
| 102 | |a FR | ||
| 105 | |a a zz 00|z| | ||
| 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 spécification formelle avec Z |f David Lightfoot |g trad. par Henri Habrias et Pierre-Marie Delpech | |
| 214 | 0 | |a Toulouse |c Teknéa |d 1994 | |
| 214 | 3 | |a 31-L'Union |c Impr. Paragraphic | |
| 215 | |a 1 vol. (XIII-191 p.) |c ill., couv. ill. |d 23 cm | ||
| 320 | |a Notes bibliogr. Index | ||
| 345 | |b 9782877170383 | ||
| 454 | | | |t Formal specification using Z | |
| 606 | |3 PPN027235912 |a Langages de programmation |3 PPN027551385 |x Modèles mathématiques |2 rameau | ||
| 606 | |3 PPN027249913 |a Systèmes informatiques |2 rameau | ||
| 606 | |3 PPN031352812 |a Z (méthode formelle) |2 rameau | ||
| 675 | |a 67 |v Éd. 1967 | ||
| 676 | |a 670 | ||
| 686 | |a F.3 |2 acm | ||
| 686 | |a D.2 |2 acm | ||
| 700 | 1 | |3 PPN033755817 |a Lightfoot |b David |f 1951-.... |4 070 | |
| 701 | 1 | |3 PPN026911744 |a Habrias |b Henri |f 1946-.... |4 730 | |
| 701 | 1 | |3 PPN033755868 |a Delpech |b Pierre-Marie |4 730 | |
| 801 | 1 | |a US |b OCLC |g AACR2 | |
| 801 | 2 | |a FR |b AUROC |g AFNOR | |
| 801 | 3 | |a FR |b SF |g AFNOR | |
| 801 | 3 | |a FR |b BN |g AFNOR | |
| 801 | 3 | |a FR |b Abes |c 20240123 |g AFNOR | |
| 979 | |a IUTN | ||
| 979 | |a IUTNC | ||
| 915 | |5 441092220:44082978X |b 10210 | ||
| 930 | |5 441092220:44082978X |b 441092220 |j s | ||
| 930 | |5 441092206:808105795 |b 441092206 |j s | ||
| 991 | |5 441092220:44082978X |a exemplaire créé automatiquement par l'ABES | ||
| 991 | |5 441092220:44082978X |a Exemplaire modifié automatiquement. le 23-01-2023 15:57 | ||
| 991 | |5 441092206:808105795 |a Exemplaire créé en masse par ITEM. le 18-01-2024 11:24 | ||
| 998 | |a 171184 | ||