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

Publisher City : Amsterdam ; Cambridge ; N.Y.

Publisher country : Pays-Bas

Language : English

EAN13 : 9780444880741

ISBN : 0-444-88074-7

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

Location : Ouvrage RdC (H)

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

Book type : Anonyme

Availability : empruntable

Level of authorization : Public

Copies