cam a22 4500 211265101 CHVBK 20201019134734.0 910220s1989 fr |||||||||| 00 |fre d 2-04-019605-6 http://catalogue.bnf.fr/ark:/12148/cb35062150m uri (RERO)1344067 RERO vsbcvs s1se rero s2in rero Berlioux Pierre (IDREF)02828402X cre Algorithmique Pierre Berlioux, Philippe Bizard 1 Construction, preuve et évaluation des programmes [Nouv. éd.] [Paris] Dunod 1989 IX, 181 p. ill. 25 cm txt rdacontent n rdamedia nc rdacarrier Bibliogr.: p. 179-181 Algorithmes (RERO)A021003762 rero Programmation (RERO)A021028018 rero Bizard Philippe (IDREF)028284038 Berlioux Pierre Algorithmique 1 BK020000 XK020000 XK020000 RERO RE11001 RE11001 RE110010034 BCV TA 50357/1 RERO 100 1- Berlioux Pierre (IDREF)02828402X cre RERO 700 1- Bizard Philippe (IDREF)028284038 RERO 800 1- Berlioux Pierre Algorithmique 1 SWISSBIB 130834254