Normal view MARC view ISBD view

Algorithmique [] : construction, preuve et évaluation des programmes / par Pierre Berlioux,... Philippe Bizard,...

Auteur principal : Berlioux, PierreCo-auteur : Bizard, Philippe, AuteurPublication : Paris : Dunod, DL 1983Description : 1 vol. (X-179 p.) : ill. ; 24 cmISBN : 2-04-015600-3.Dewey: 620Classification : F.3Bibliographie: Bibliogr. p. [177]-179.Sujet - Nom d'actualité : Logiciels -- Évaluation ; ;Ordinateurs -- Programmation ;Algorithmes Sujet : RECURSIVITE ;Preuve de programme Sujet Catégorie : H-INF.TH
Current location Call number Status Date due Barcode
Centre de recherche en informatique
BER Sur demande CRI00662D
Centre de recherche en informatique
BER Sur demande CRI00659D
Sophia Antipolis
Salle de lecture
EMS 110-C03/N 1894 Available EMS01255D

FRA .

Bibliogr. p. [177]-179

Powered by Koha