Aperçu gratuit du livre Tools and Algorithms for the Construction and Analysis of Systems: 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II
Tools and Algorithms for the Construction and Analysis of Systems: 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II
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 2 décembre au 25 décembre, 2024 dans les magasins au Canada (à l’exclusion des commandes en kiosque) et sur indigo.ca à l’achat de $50.00 ou plus d’articles admissibles, avant les taxes, mais après les rabais applicables et l’échange de points privilège. Le montant d’achat minimal exclut les dons à la Fondation Indigo pour l’amour de la lecture et les produits de la Fondation, les cartes-cadeaux, les abonnements irewards 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: 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II/fr-ca/tools-and-algorithms-for-the-construction-and-analysis-of-systems-30th-international-conference-tacas-2024-held-as-part-of-the-european-joint-conferences-on-theory-and-practice-of-software-etaps-2024-luxembourg-city-luxembourg-april-6-11-2024-proceedings-part-ii/1D062E73-564F-4783-9E11-929D684CD0E4.html1D062E73-564F-4783-9E11-929D684CD0E4
Tools and Algorithms for the Construction and Analysis of Systems: 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II
Tools and Algorithms for the Construction and Analysis of Systems: 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part II