Aperçu gratuit du livre Tools and Algorithms for the Construction and Analysis of Systems: 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part I
Tools and Algorithms for the Construction and Analysis of Systems: 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part I
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 30 septembre au 25 décembre 2024 dans les magasins au Canada et sur indigo.ca à l’achat de 50 $ ou plus d’articles admissibles, avant les taxes, mais après les rabais applicables et l’échange de points plum. Le montant d’achat minimum exclut les cartes-cadeaux, les frais d’abonnement ou de renouvellement d’abonnement à plum, les produits de la Fondation Indigo pour l’amour de la lecture et les dons faits à celle-ci, et les frais d’expédition. La sélection offerte en magasin et en ligne peut varier.
Tools and Algorithms for the Construction and Analysis of Systems: 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part I/fr-ca/tools-and-algorithms-for-the-construction-and-analysis-of-systems-29th-international-conference-tacas-2023-held-as-part-of-the-european-joint-conferences-on-theory-and-practice-of-software-etaps-2023-paris-france-april-22-27-2023-proceedings-part-i/70F91B09-CCFB-4900-8E45-6A93CF4E6339.html70F91B09-CCFB-4900-8E45-6A93CF4E6339
Tools and Algorithms for the Construction and Analysis of Systems: 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part I
Tools and Algorithms for the Construction and Analysis of Systems: 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings, Part I