Aperçu gratuit du livre Tools and Algorithms for the Construction and Analysis of Systems: 8th International Conference, TACAS 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002. Proceedings
Tools and Algorithms for the Construction and Analysis of Systems: 8th International Conference, TACAS 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002. Proceedings
* Offre en vigueur du 12 mai au 29 juin 2025 dans les magasins au Canada et à indigo.ca, jusqu'à épuisement des stocks, avec tout achat d'au moins 30 $ d'articles admissibles en stock, après les rabais et l'échange de points plum. Le montant d'achat minimum exclut les cartes-cadeaux, les abonnements et renouvellements à plum PLUS, les produits de la Fondation pour l'amour de la lecture et les dons faits à celle-ci ainsi que 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.