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

Ville d'édition : Amsterdam ; Cambridge,MA ; N.Y. ; Oxford ; Tokyo

Pays d'édition : Pays-Bas

Langue : Anglais

EAN13 : 9780444880741

ISBN : 0-444-88074-7

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

Collection : Handbook of theoretical computer science

Localisation : Ouvrage RdC (Hand)

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

Type d'ouvrage : Anonyme

Disponibilité : empruntable

Niveau d'autorisation : Public

Exemplaires