informatique théorique # logique # dualité de Stone-Priestley # théorie des domaines # théorie des automates # exercices

Ville d'édition : Cambridge ; New York ; Port Melbourne

Pays d'édition : Grande-Bretagne ; États-Unis ; Australie

Langue : Anglais

EAN13 : 9781009349697

ISSN : 0965-9103

Collation : 25 cm#rel.#bibliogr.

Collection : Cambridge tracts in theoretical computer science

N° de collection : 0061

Localisation : Ouvrage RdC (GEHR)

Type d'ouvrage : Monographie

Disponibilité : empruntable

Niveau d'autorisation : Public

Exemplaires