Hybrid and real-time systems :
international workshop, HART'97#March 26-28
architecture # gestion de système # logiciel # logique # organisation système # requète # signification des programmes # spécification # système d'exploitation # système informatique # vérification
Ville d'édition : Berlin ; Heidelberg ; N.Y.
Pays d'édition : Allemagne RDA
Langue : Anglais
EAN13 : 9783540626008
ISBN : 3-540-62600-X
Collation : Bibliogr. ; fig.#24 cm#broch.
Collection : Lecture notes in computer science
N° de collection : 1201
Localisation : Collection 1er étage
Année de la rencontre : 1997
Ville du congrès : Grenoble
Pays du congrès : France
Code ACM : C.1.m ; C.3 ; D.2.1 ; D.4.7 ; F.3.1
Type de congrès : Congrès
Disponibilité : empruntable
Niveau d'autorisation : Public
N° | Cote | Code barre | Commentaire | |
---|---|---|---|---|
1 | 00020977 | [disponible] |