m
     
Ouvrage

H 0 Recursive program schemes :
semantics and proof theory

De Roever, W. P. (Principal)

Mathematisch Centrum

1985

112 p.

978-90-6196-127-7

00010428

02J10 ; 68A05

fondements de la logique # informatique # logique algébrique # système informatique

Ville d'édition : Amsterdam

Pays d'édition : Pays-Bas

Langue : Anglais

EAN13 : 9789061961277

ISBN : 90-6196-127-0

Collation : 24 cm#broch. ; Bibliogr.

Collection : Mathematical centre tracts

N° de collection : 0070

Localisation : Collection 1er étage

Code ACM : 5.2.1 ; 5.2.4

Type d'ouvrage : Monographie

Disponibilité : empruntable


Exemplaires

Nbre d'exemplaires : 1
Cote Code barre Commentaire
1 00010428

[disponible]
Z