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
* 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.
Sélectionner une liste
Ouvrir une session pour ajouter des articles à une liste ou consulter vos listes actuelles.