m
     
Ouvrage

H 0 Formal models and semantics. Vol. B

Van Leeuwen, Jan (Editeur)

Elsevier;The Mit Press

1990

1273 p.

978-0-444-88074-1

00016626

03D05 ; 68N17 ; 68Q42 ; 68Q45 ; 68Q68

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


Exemplaires

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

[disponible]
Z