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 [+]