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