bvseo-msg: Unsuccessful GET. status = 'ERROR', msg = 'Not Found.'; Unsuccessful GET. status = 'ERROR', msg = 'Not Found.';
Évaluation éditoriale
Auteur
D’autres ont aussi acheté
Choix du format
DÉTAILS DE LA PROMOTION
* Offre en vigueur du 13 janvier au 2 mars 2025 dans les magasins au Canada et à indigo.ca, avec tout achat d'au moins 30 $ d’articles admissibles en stock, avant les taxes et après les rabais applicables au cours d’une même transaction. L’offre ne s’applique pas aux achats antérieurs et ne peut être jumelée à aucune autre offre.
Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach/fr-ca/advances-in-verification-of-time-petri-nets-and-timed-automata-a-temporal-logic-approach/C7964A64-E8C2-4D46-A7E7-AFB629F1D2BD.htmlC7964A64-E8C2-4D46-A7E7-AFB629F1D2BD
Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach