Correct Hardware Design and Verification Methods.

Langue : anglais

Edité par Berlin Springer Verlag, 2003

354020363X / 9783540203636

Vendeur : CSG Onlinebuch GMBH, Darmstadt, AllemagneCSG Onlinebuch GMBH

Vendeur avec une évaluation de 5 étoiles

Vendeur AbeBooks depuis 6 septembre 2022

Livre broché

Etat: Occasion - Assez bon

EUR 21,16

EUR 95,00 expédition 
Expédition depuis Allemagne vers Etats-Unis

Quantité disponible : 1 disponible

Ajouter au panier
Retours gratuits sous 30 jours

A propos de cet article

Gebraucht - Gut Zustand: Gut, Mängelexemplar, XII, 426 p. Also available online. About this book: his book constitutes the refereed proceedings of the 12th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods, CHARME 2003, held in LAquila, Italy in October 2003. The 24 revised full papers and 8 short papers presented were carefully reviewed and selected from 65 submissions. The papers are organized in topical sections on software verification, automata based methods, processor verification, specification methods, theorem proving, bounded model checking, and model checking and applications. Written for researchers and professionals.

N° de réf. du vendeur 18898

Titre
Correct Hardware Design and Verification Methods.
Auteur
Daniel and Enrico Tronci (Hrsg.) Geist
Éditeur
Berlin Springer Verlag
Année de publication
2003
État de l'article
Gut
Reliure
Softcover
Langue
anglais
ISBN à 10 chiffres
354020363X
ISBN à 13 chiffres
9783540203636

CSG Onlinebuch GMBH

Darmstadt, Allemagne

Vendeur avec une évaluation de 5 étoiles

Vendeur AbeBooks depuis 6 septembre 2022

Frais d'expédition de Allemagne vers Etats-Unis

Article60 à 60 jours ouvrés60 à 60 jours ouvrés
Premier articleEUR 95,00EUR 110,00
Les délais de livraison sont fixés par les vendeurs et varient en fonction du transporteur et du lieu. Les commandes transitant par les douanes peuvent être retardées et les acheteurs sont responsables de tous les droits ou frais associés. Les vendeurs peuvent vous contacter au sujet de frais supplémentaires afin de couvrir toute augmentation des coûts d'expédition de vos articles.

Modes de paiement

  • Visa
  • Mastercard
  • American Express
  • Carte Bleue
  • Apple Pay
  • Google Pay
  • Chèque
  • Paypal

Description de la boutique

Online Handel mit gebrauchten und antiquarischen Büchern.

Spécialité

Gebrauchtbücher

Profil professionnel du vendeur

CSG Onlinebuch GMBH

Bunsenstr. 6
Darmstadt, Allemagne 64293