automate fini # base de données relationnelle # calcul distribué # lambda calcul # langage formel # langage libre de contexte # logique des programmes # logique temporelle et modale # modèle formel # processus concurrents # programmation fonctionnelle # programmation logique # programmation temporelle et modale # réécriture de graphe # système à réécrire # sémantique # série de puissance

Publisher City : Amsterdam ; Cambridge,MA ; N.Y. ; Oxford ; Tokyo

Publisher country : Pays-Bas

Language : English

EAN13 : 9780444880741

ISBN : 0-444-88074-7

Collation : Bibliogr. ; Index ; xiv#fig.#25 cm#rel.

Series : Handbook of theoretical computer science

Location : Ouvrage RdC (Hand)

ACM code : D.1.1 ; F.1.1 ; F.3.1 ; F.4.1 ; F.4.2

Book type : Anonyme

Availability : empruntable

Level of authorization : Public

Copies