Formal techniques in real-time and fault-tolerant systems :
second international symposium#Jan. 8-10
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
N° | Cote | Code barre | Commentaire | |
---|---|---|---|---|
1 | 00014319 | [disponible] |