Méthodes formelles pour le parallélisme : Spécification, modélisation et vérification des systèmes concurrents
Éditeur: Editions Universitaires Européennes
201984 pagesISBN 9786139520916
Format: BrochéLangue : Français
Ce livre est proposé par (0) membre(s)
Ce livre est mis en favori par (0) membre(s)