m
     
Ouvrage

H 0 Langage Pascal et logique du premier ordre. Tome 2 :
récursivité et dérécursification, preuves et complexité d'algorithme

Margenstern, M. (Principal)

Masson

1990

288 p.

978-2-225-81953-7

00017848

03B10 ; 68N05 ; 68N15 ; 68Q25

Pascal # analyse des algorithmes # complexité des algorithmes # dérécursification # langage de programmation # logique du premier ordre # preuve de programme # récursivité # standard # vérification de programme

Ville d'édition : Barcelone ; Milan ; Paris

Pays d'édition : France

Langue : Français

EAN13 : 9782225819537

ISBN : 2-225-81953-X

Collation : Bibliogr. ; fig.#24 cm#broch. ; Index

Collection : Logique mathématiques informatique

N° de collection : 0004

Localisation : Ouvrage RdC (MARG)

Code ACM : B.3.0 ; D.2.4 ; F.2

Type d'ouvrage : Monographie

Disponibilité : empruntable


Exemplaires

Nbre d'exemplaires : 1
Cote Code barre Commentaire
1 00017848 [disponible]
Z