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 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.