Nantilus
Construction et vérification de programmes
Enregistré dans:
| Auteur principal : | |
|---|---|
| Autres auteurs : | |
| Format : | Livre |
| Langue : | français |
| Titre complet : | Construction et vérification de programmes / Roland C. Backhouse,...; trad. par René Quiniou |
| Publié : |
Paris, London :
Masson
, 1989 Prentice Hall |
| Description matérielle : | 276 p. |
| Collection : | Manuels informatiques Masson |
| Traduction de : | Program construction and verification |
| Sujets : |
| LEADER | 04392cam a2201069 4500 | ||
|---|---|---|---|
| 001 | PPN00144249X | ||
| 005 | 20231026055900.0 | ||
| 010 | |a 2-225-81660-3 |b br. |d 220 F | ||
| 020 | |a FR |b 08919218 | ||
| 021 | |a FR |b DL 89-08033 | ||
| 035 | |a lm16490 | ||
| 035 | |a ocm21268398 | ||
| 035 | |a ubs27155 | ||
| 035 | |a urouen125 | ||
| 035 | |a sib0178917 | ||
| 035 | |a DYNIX_BUNAN_257112 | ||
| 035 | |a frBN006897051 | ||
| 035 | |a PRITEC.TOURS.030021533001 | ||
| 073 | 0 | |a 9782225816604 | |
| 100 | |a 19890511d1989 k y0frey0103 ba | ||
| 101 | 1 | |a fre |c eng | |
| 102 | |a ZZ | ||
| 105 | |a a zz 001yy | ||
| 106 | |a r | ||
| 200 | 1 | |a Construction et vérification de programmes |b Texte imprimé |f Roland C. Backhouse,... |g trad. par René Quiniou | |
| 210 | |a Paris |c Masson |a London |c Prentice Hall |d 1989 |e 53-Mayenne |g Impr. Floch | ||
| 215 | |a 276 p. |c ill. |d 24 cm | ||
| 225 | 2 | |a Manuels informatiques Masson |x 0249-6992 | |
| 300 | |a Index | ||
| 320 | |a Index | ||
| 410 | | | |0 001018272 |t Manuels informatiques Masson |x 0249-6992 | |
| 454 | | | |0 027014789 |t Program construction and verification |f Roland C. Backhouse |c Englewood Cliffs, N.J. |n Prentice-Hall International |d c1986 |p xi, 281 p. |y 0-13-729153-1 | |
| 606 | |3 PPN028625056 |a Programmation |2 rameau | ||
| 606 | |3 PPN027478270 |a Vérification (épistémologie) |2 rameau | ||
| 606 | |3 PPN028909917 |a Logiciels |x Développement |2 rameau | ||
| 606 | |3 PPN027241378 |a Ordinateurs |x Programmation |2 rameau | ||
| 675 | |a 67 |v Éd. 1967 | ||
| 676 | |a 005.12 |v 21 | ||
| 680 | |a QA76.6 | ||
| 700 | 1 | |3 PPN029526795 |a Backhouse |b Roland Carl |f 1948-.... |4 070 | |
| 702 | 1 | |3 PPN07105944X |a Quiniou |b René |f 19..-.... |4 730 | |
| 801 | 3 | |a FR |b Abes |c 20060405 |g AFNOR | |
| 801 | 1 | |a US |b OCLC |c 20060405 |g AACR2 | |
| 801 | 2 | |a FR |b AUROC |c 20060405 |g AFNOR | |
| 801 | 3 | |a FR |b SF |c 20060405 |g AFNOR | |
| 801 | 3 | |a FR |b BN |c 20060405 |g AFNOR | |
| 801 | 1 | |a FR |b UBS |c 20000407 |g AFNOR | |
| 915 | |5 441092104:180238787 |a 1160682039 |b 1160682039 | ||
| 915 | |5 441092104:180238795 |a 1160682022 |b 1160682022 | ||
| 915 | |5 441092104:180238809 |a 1160682015 |b 1160682015 | ||
| 915 | |5 441092104:180238817 |a 1160682008 |b 1160682008 | ||
| 915 | |5 441092104:180238825 |a 1160681995 |b 1160681995 | ||
| 915 | |5 441092104:180238833 |a 1160681988 |b 1160681988 | ||
| 915 | |5 441092104:180238841 |a 1160681971 |b 1160681971 | ||
| 915 | |5 441092104:18023885X |a 1160681964 |b 1160681964 | ||
| 915 | |5 441092104:180238868 |a 1160681957 |b 1160681957 | ||
| 915 | |5 441092104:180238876 |a 1160681940 |b 1160681940 | ||
| 915 | |5 441092104:180238884 |a 1160681933 |b 1160681933 | ||
| 915 | |5 441092104:180238892 |a 1160681926 |b 1160681926 | ||
| 915 | |5 441092104:180238906 |a 1160681919 |b 1160681919 | ||
| 915 | |5 441092104:180238914 |a 1160681902 |b 1160681902 | ||
| 919 | |5 441092104:180238787 |a 1160682039 | ||
| 919 | |5 441092104:180238795 |a 1160682022 | ||
| 919 | |5 441092104:180238809 |a 1160682015 | ||
| 919 | |5 441092104:180238817 |a 1160682008 | ||
| 919 | |5 441092104:180238825 |a 1160681995 | ||
| 919 | |5 441092104:180238833 |a 1160681988 | ||
| 919 | |5 441092104:180238841 |a 1160681971 | ||
| 919 | |5 441092104:18023885X |a 1160681964 | ||
| 919 | |5 441092104:180238868 |a 1160681957 | ||
| 919 | |5 441092104:180238876 |a 1160681940 | ||
| 919 | |5 441092104:180238884 |a 1160681933 | ||
| 919 | |5 441092104:180238892 |a 1160681926 | ||
| 919 | |5 441092104:180238906 |a 1160681919 | ||
| 919 | |5 441092104:180238914 |a 1160681902 | ||
| 930 | |5 441092104:180238787 |b 441092104 |a 681.324 BAC |j u | ||
| 930 | |5 441092104:180238795 |b 441092104 |a 681.324 BAC |j u | ||
| 930 | |5 441092104:180238809 |b 441092104 |a 681.324 BAC |j u | ||
| 930 | |5 441092104:180238817 |b 441092104 |a 681.324 BAC |j u | ||
| 930 | |5 441092104:180238825 |b 441092104 |a 681.324 BAC |j u | ||
| 930 | |5 441092104:180238833 |b 441092104 |a 681.324 BAC |j u | ||
| 930 | |5 441092104:180238841 |b 441092104 |a 681.324 BAC |j u | ||
| 930 | |5 441092104:18023885X |b 441092104 |a 681.324 BAC |j u | ||
| 930 | |5 441092104:180238868 |b 441092104 |a 681.324 BAC |j u | ||
| 930 | |5 441092104:180238876 |b 441092104 |a 681.324 BAC |j u | ||
| 930 | |5 441092104:180238884 |b 441092104 |a 681.324 BAC |j u | ||
| 930 | |5 441092104:180238892 |b 441092104 |a 681.324 BAC |j u | ||
| 930 | |5 441092104:180238906 |b 441092104 |a 681.324 BAC |j u | ||
| 930 | |5 441092104:180238914 |b 441092104 |a 681.324 BAC |j u | ||
| 930 | |5 441092105:28942965X |b 441092105 |a 004.015 1 BAC |j f | ||
| 979 | |a SCI | ||
| 998 | |a 157088 | ||