m
     
Ouvrage

H 0 Handbook of theoretical computer science. Vol. B
formal models and semantics

Van Leeuwen, Jan (Editeur)

Elsevier;The Mit Press

1990

978-0-444-88074-1

00021609

68Q45 ; 68Q55 ; 68Q65 ; 90Cxx

automate # calcul lambda # calcul partagé # calcul réparti # informatique théorique # langage de programmation # logique et programmation # logique modale # logique temporelle # programmation logique # schéma de programme # spécification d'algèbre # sémantique # sémantique algébrique # théorie des données relationnelles # théorie du langage

Ville d'édition : Amsterdam ; Cambridge ; N.Y.

Pays d'édition : Pays-Bas

Langue : Anglais

EAN13 : 9780444880741

ISBN : 0-444-88074-7

Collation : 1213p. ; 25 cm ; Bibliogr. ; Index ; rel.

Localisation : Ouvrage RdC (H)

Code ACM : F.3.0 ; F.4 ; F.4.0 ; F.4.3

Type d'ouvrage : Anonyme

Disponibilité : empruntable


Exemplaires

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

[disponible]
Z