Théorie des programmes : schémas, preuves, sémantique

Enregistré dans:
Détails bibliographiques
Auteur principal : Livercy C. (Auteur)
Autres auteurs : Paire C. (Préfacier)
Format : Livre
Langue : français
Titre complet : Théorie des programmes : schémas, preuves, sémantique / par C. Livercy,...; Préface du professeur C. Pair,...
Publié : Paris : Dunod , DL 1978
Description matérielle : 1 vol. (XII-328 p.)
Collection : Dunod informatique. Phase formation
Sujets :
LEADER 02243cam a2200745 4500
001 PPN000231142
003 http://www.sudoc.fr/000231142
005 20230821114300.0
010 |a 2-04-010516-6  |b br.  |d 110 FRF 
010 |a 978-2-04-010516-7  |b br. 
020 |a FR  |b 07901071 
021 |a FR  |b D.L. 78-29641 
035 |a 005218012  |9 sudoc 
035 |a 061306290  |9 sudoc 
035 |a (OCoLC)461678153 
035 |a DYNIX_BUPF_13210 
035 |a ubs52051 
035 |a lm18107 
035 |a cor0019256 
035 |a sib0057382 
035 |a DYNIX_BUPTP_58271 
035 |a DYNIX_BUNAN_17320 
035 |a sib0057383 
035 |a PRITEC.TOURS.010010930001 
035 |a ocm05617774 
035 |a PRITEC.SCDUFC.050410128001 
035 |a frBN000676683 
073 0 |a 9782040105167 
100 |a 19781228h19781978k y0frey0103 ba 
101 0 |a fre  |2 639-2 
102 |a FR 
105 |a a az 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 Théorie des programmes  |e schémas, preuves, sémantique  |f par C. Livercy,...  |g Préface du professeur C. Pair,... 
214 0 |a Paris  |c Dunod  |d DL 1978 
215 |a 1 vol. (XII-328 p.)  |d 24 cm 
225 2 |a Dunod informatique  |i Phase formation 
305 |a Autre tirage : 1984 
320 |a Bibliogr. p. 315-322. Index 
410 | |0 001014056  |t Dunod informatique. Phase formation  |x 0154-5450 
606 |3 PPN027241378  |a Microordinateurs  |x Programmation  |2 rameau 
675 |a 62  |v Éd. 1967 
676 |a 620 
680 |a QA76.6  |b .L58 
686 |a F.3  |2 acm 
686 |a 68B05  |c 2000  |2 msc 
700 1 |3 PPN102522472  |a Livercy  |b C.  |f 19..-....  |4 070 
702 1 |3 PPN160169593  |a Paire  |b C.  |4 080 
801 3 |a FR  |b Abes  |c 20230717  |g AFNOR  |h 005218012 
801 3 |a FR  |b Abes  |c 20230717  |g AFNOR  |h 061306290 
801 3 |a FR  |b SF  |g AFNOR 
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 
801 0 |a FR  |b 141182101  |c 19971124 
801 1 |a FR  |b UBS  |c 20011105  |g AFNOR 
979 |a CCFA 
930 |5 441092208:793690331  |b 441092208  |j u 
998 |a 945183