Aperçu gratuit du livre 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
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
* Offre en vigueur du 30 septembre au 25 décembre 2024 dans les magasins au Canada et sur indigo.ca à l’achat de 50 $ ou plus d’articles admissibles, avant les taxes, mais après les rabais applicables et l’échange de points plum. Le montant d’achat minimum exclut les cartes-cadeaux, les frais d’abonnement ou de renouvellement d’abonnement à plum, les produits de la Fondation Indigo pour l’amour de la lecture et les dons faits à celle-ci, et les frais d’expédition. La sélection offerte en magasin et en ligne peut varier.