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 |