m

Documents  Critères de recherche : "Real-time systems" | enregistrements trouvés : 3

O
     

-A +A

P Q

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 620 p.
ISBN 978-3-540-55092-1

Lecture notes in computer science , 0571

Localisation : Collection 1er étage

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

68M20 ; 68Q05 ; 68Q10

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 414 p.
ISBN 978-3-540-62600-8

Lecture notes in computer science , 1201

Localisation : Collection 1er étage

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

68M07 ; 68Mxx ; 68P60 ; 68Pxx

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 285 p.
ISBN 978-3-540-54947-5

Lecture notes in computer science , 0558

Localisation : Collection 1er étage

système temps réel # temps réel

68M15 ; 68Mxx

... Lire [+]

Z