calcul en temps réel # calcul formel # langage formel # logique mathématique # mathématique discrète # processus à synchrones # programmation logique # spécification des requètes # système distribué en temps réel

Ville d'édition : Berlin ; Heidelberg ; N.Y.

Pays d'édition : États-Unis

Langue : Anglais

EAN13 : 9783540550921

ISBN : 3-540-55092-5

Collation : Bibliogr. ; ix#fig.#24 cm#broch.

Collection : Lecture notes in computer science

N° de collection : 0571

Localisation : Collection 1er étage

Numéro de congrès : 2

Année de la rencontre : 1991

Ville du congrès : Nijmegen

Code ACM : B.1.2 ; F.1.2 ; F.3 ; F.4.3 ; G.3

Type Congrès : Congrès

Disponibilité : empruntable

Exemplaires