m
     
Ouvrage

H 0 Mathematical theory of computation

Manna, Zahor (Principal)

McGraw-Hill Book Company

1974

448 p.

978-0-07-039910-5

00009270

03B05 ; 68Q05 ; 68Q60 ; 68Q68 ; 68Qxx

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


Exemplaires

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

[disponible]
Z