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 13 janvier au 2 mars 2025 dans les magasins au Canada et à indigo.ca, avec tout achat d'au moins 30 $ d’articles admissibles en stock, avant les taxes et après les rabais applicables au cours d’une même transaction. L’offre ne s’applique pas aux achats antérieurs et ne peut être jumelée à aucune autre offre.
Sélectionner une liste
Ouvrir une session pour ajouter des articles à une liste ou consulter vos listes actuelles.