15432 # analyse d'algorithme # appareil abstrait # complexité # déduction # géométrie de l'informatique # informatique théorique # langage formel # logique # logique mathématique # modèle de calcul # modélisation d'objet (CRU) # preuve de théorème # représentation des programmes # théorie des graphes

Publisher City : Berlin ; Heidelberg ; N.Y.

Publisher country : Allemagne RDA

Language : English

EAN13 : 9783540587156

ISBN : 3-540-58715-2

Collation : xi#fig.#24 cm#broch.

Series : Lecture notes in computer science

Nb in series : 0880

Location : Collection 1er étage

ACM code : F.1 ; F.2 ; F.3 ; F.4 ; G.2.2

Book type : Monographie

Availability : empruntable

Level of authorization : Public

Copies