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

Exemplaires