Formal Methods for Hardware Verification: 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advances Lectures

Obtenez un sac polyvalent à 19,99 $ avec tout achat d'au moins 30 $

* Offre en vigueur du 30 juin au 31 août 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 frais d'abonnement et de renouvellement à plum PLUS et les frais d’expédition. La sélection offerte en magasin et en ligne peut varier.