Aperçu gratuit du livre Critical Systems: Formal Methods and Automated Verification: Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2
Critical Systems: Formal Methods and Automated Verification: Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2
Les livres numériques d’Indigo sont offerts à Kobo.com.
Il suffit de vous connecter ou de créer un compte Kobo gratuit pour démarrer. Lisez des livres numériques sur n’importe quelle liseuse Kobo ou avec l’application Kobo gratuite.
Pourquoi Kobo?
Avec plus de 6 millions de livres numériques figurant parmi les meilleurs au monde, Kobo vous propose un tout nouveau monde de lecture. Emportez vos lectures et accumulez des points à chaque achat.
* Offre en vigueur du 31 mars au 11 mai 2025 dans les magasins au Canada et à indigo.ca, avec tout achat d'au moins 30 $ d’articles admissibles, avant les taxes, mais après les rabais applicables et l’échange de points plum. Le montant d’achat minimal exclut les produits de la Fondation Indigo pour l’amour de la lecture et les dons faits à celle-ci, les cartes-cadeaux, les abonnements à plum+ et les frais d’expédition. La sélection offerte en magasin et en ligne peut varier.
Critical Systems: Formal Methods and Automated Verification: Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2/fr-ca/critical-systems-formal-methods-and-automated-verification-joint-21st-international-workshop-on-formal-methods-for-industrial-critical-systems-and-16th-international-workshop-on-automated-verification-of-critical-systems-fmics-avocs-2016-pisa-italy-september-26-28-2/AB8D923B-7C2C-490E-A724-B8F08D3786B1.htmlAB8D923B-7C2C-490E-A724-B8F08D3786B1
Critical Systems: Formal Methods and Automated Verification: Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2
Critical Systems: Formal Methods and Automated Verification: Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings