m
MathOuvrage

H 0 The Logical basis for computer programming. Vol. 1

Manna, Zohar ; Waldinger, R.

Addison-Wesley

1985

xii, 618

27585

programmation ; logique symbolique ; logique mathématique


Exemplaires

Nbre d'exemplaires : 1
Inventaire Code barre Localisation
1 27585 1016508 GALERIE

Sous-titre : deductive reasoning

ISBN10 : 0-201-18260-2

Type de doc : M

Ville d'édition : Reading

Langue ouvrage : eng

Collection : Addison-wesley series in computer science

Class. Math. 1991 : 68-02

Lien SUDOC : https://www.sudoc.fr/008870810

Z