m
     
Ouvrage

H 0 Langage Pascal et logique du premier ordre Tome 1 :
programmation en Pascal-prédicats-systèmes formels-fonctions récursives

Margenstern, Maurice (Principal)

Masson

1989

287 p.

978-2-225-81900-1

00017469

03B10 ; 03B70 ; 03Dxx ; 68N15 ; 68N17

Pascal # calcul des prédicats # complexité de programme # fonction récursive # formalisation # langage de programmation # langage standard # logique de la programmation # preuve et vérification de programme # programmation déclarative # récursivité

Ville d'édition : Barcelone ; Milan ; Paris

Pays d'édition : France

Langue : Français

EAN13 : 9782225819001

ISBN : 2-225-81900-9

Collation : Bibliogr. ; Index ; xii#exercices#24 cm#broch.

Collection : Logique mathématiques informatique

N° de collection : 0003

Localisation : Ouvrage RdC (MARG)

Code ACM : D.2.4 ; D.3 ; D.3.0 ; D.3.1 ; D.3.3

Type d'ouvrage : Monographie

Disponibilité : empruntable


Exemplaires

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