Méthodes formelles pour le parallélisme
Spécification, modélisation et vérification des systèmes concurrents
EAN
- ÉditeurUNIV EUROPEENNE
- Parution01 novembre 2019
Prix TTC
39,90€
Sur commande
Aucun résumé n'est disponible pour le moment.
Spécification, modélisation et vérification des systèmes concurrents
Prix TTC
Aucun résumé n'est disponible pour le moment.