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

Publisher City : N.Y. ; Paris ; St Louis

Publisher country : France ; États-Unis

Language : English

EAN13 : 9780070399105

ISBN : 0-07-039910-7

Collation : 23 cm#rel. ; Bibliogr. ; Index

Series : McGray-Hill computer science series

Location : Ouvrage RdC (MANNA)

ACM code : D.1.0 ; F. ; F.1.1 ; F.3

Book type : Monographie

Availability : empruntable

Level of authorization : Public

Copies