Articles liés à Formal Methods for Hardware Verification
Synopsis
This book presents 8 papers accompanying the lectures of leading researchers given at the 6th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems (SFM 2006). SFM 2006 was devoted to formal techniques for hardware verification and covers several aspects of the hardware design process, including hardware design languages and simulation, property specification formalisms, automatic test pattern generation, symbolic trajectory evaluation, and more.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
- ÉditeurSpringer Berlin Heidelberg
- Date d'édition2010
- ISBN 10 3540343040
- ISBN 13 9783540343042
- ReliureBroché
- Langueanglais
- Nombre de pages256
- ÉditeurBernardo Marco
- Coordonnées du fabricantnon disponible
Acheter neuf
Afficher cet article
EUR 45,52
Gratuit expédition depuis Etats-Unis vers France
Destinations, frais et délaisRésultats de recherche pour Formal Methods for Hardware Verification
Image d'archives
Formal Methods For Hardware Verification
Vendeur : Romtrade Corp., STERLING HEIGHTS, MI, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. N° de réf. du vendeur ABNR-156738
Quantité disponible : 1 disponible(s)
Image d'archives
Formal Methods For Hardware Verification
Vendeur : Basi6 International, Irving, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. N° de réf. du vendeur ABEJUNE24-341846
Quantité disponible : 1 disponible(s)
Image d'archives
Formal Methods for Hardware Verification
Edité par
Springer, 2006
ISBN 10 : 3540343040
ISBN 13 : 9783540343042
Ancien ou d'occasion
Couverture souple
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Etat : Used. pp. 256. N° de réf. du vendeur 26303002
Quantité disponible : 1 disponible(s)
Image d'archives
Formal Methods for Hardware Verification
Edité par
Springer, 2006
ISBN 10 : 3540343040
ISBN 13 : 9783540343042
Ancien ou d'occasion
Couverture souple
Vendeur : Biblios, Frankfurt am main, HESSE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : Used. pp. 256. N° de réf. du vendeur 18302992
Quantité disponible : 1 disponible(s)
Image d'archives
Formal Methods for Hardware Verification
Edité par
Springer, 2006
ISBN 10 : 3540343040
ISBN 13 : 9783540343042
Ancien ou d'occasion
Couverture souple
Vendeur : Majestic Books, Hounslow, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : Used. pp. 256 Illus. N° de réf. du vendeur 7544901
Quantité disponible : 1 disponible(s)
Image d'archives
Formal Methods for Hardware Verification: 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, ... (Lecture Notes in Computer Science, 3965)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9783540343042_new
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Formal Methods for Hardware Verification : 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Sfm 2006 Betinoro, Italy, May 22-27, 2006 Advanced Lectures
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 4372955-n
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Formal Methods for Hardware Verification
Edité par
Springer Berlin Heidelberg, 2006
ISBN 10 : 3540343040
ISBN 13 : 9783540343042
Neuf
Kartoniert / Broschiert
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 4 sur 5 étoiles
Kartoniert / Broschiert. Etat : New. Presents papers accompanying lectures given at the 6th edition of the International School on Formal Methods for the Design of Computer, Communication and Software SystemsFocused on formal techniques for hardware verificationCovers many asp. N° de réf. du vendeur 4888066
Quantité disponible : Plus de 20 disponibles
Image d'archives
Formal Methods for Hardware Verification : 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Sfm 2006 Betinoro, Italy, May 22-27, 2006 Advanced Lectures
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 4372955-n
Quantité disponible : Plus de 20 disponibles
Image d'archives
Formal Methods for Hardware Verification : 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems,
Vendeur : Chiron Media, Wallingford, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
PF. Etat : New. N° de réf. du vendeur 6666-IUK-9783540343042
Quantité disponible : 10 disponible(s)