Mathematical theory of computation
algorithme # automate # calcul des prédicats # informatique théorique # logique # machine de Turing # mathématique de l'informatique # programmation # théorie du point fixe # vérification de programme
Ville d'édition : N.Y. ; Paris ; St Louis
Pays d'édition : France ; États-Unis
Langue : Anglais
EAN13 : 9780070399105
ISBN : 0-07-039910-7
Collation : 23 cm#rel. ; Bibliogr. ; Index
Collection : McGray-Hill computer science series
Localisation : Ouvrage RdC (MANNA)
Code ACM : D.1.0 ; F. ; F.1.1 ; F.3
Type d'ouvrage : Monographie
Disponibilité : empruntable
Niveau d'autorisation : Public
N° | Cote | Code barre | Commentaire | |
---|---|---|---|---|
1 | 00009270 | [disponible] |