En poursuivant votre navigation sur ce site, vous acceptez l'utilisation d'un simple cookie d'identification. Aucune autre exploitation n'est faite de ce cookie. OK
0

Hybrid and real-time systems :
international workshop, HART'97#March 26-28

Sélection Signaler une erreur
Congrès

Maler, Oded (Editeur)

Springer

1997

414 p.

978-3-540-62600-8

00020977

68M07 ; 68Mxx ; 68P60 ; 68Pxx

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 Congrès : Congrès

Disponibilité : empruntable

Niveau d'autorisation : Public


Exemplaires

Nbre d'exemplaires : 1
Cote Code barre Commentaire
1 00020977

[disponible]
Sélection Signaler une erreur