Aperçu gratuit du livre Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part I
Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part I
* 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.
Sélectionner une liste
Ouvrir une session pour ajouter des articles à une liste ou consulter vos listes actuelles.