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

Niveau d'autorisation : Public

Exemplaires