Aperçu gratuit du livre Automated Technology for Verification and Analysis: 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013, Proceedings
Automated Technology for Verification and Analysis: 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013, Proceedings
* 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.