Theorem Provers in Circuit Design: Theory, Practice and Experience

Langue : anglais

Edité par Springer-Verlag, 1995

3540590471 / 9783540590477

Vendeur : George Cross Books, Lexington, MA, Etats-UnisGeorge Cross Books

Vendeur avec une évaluation de 5 étoiles

Vendeur AbeBooks depuis 11 juin 2003

Membre d’une association professionnelle : IOBA

Afficher les articles de ce vendeur
Livre broché

Etat: Occasion

EUR 20,37

EUR 3,44 expédition 
Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible(s)

Ajouter au panier
Retours gratuits sous 30 jours

Item description from seller

Very Good/Wraps (34590) Paperback. Clean, tight, unmarked. This is *NOT* an old library book. Lecture Notes in Computer Science Volume 901 This volume presents the proceedings of the Second International Conference on Theorem Provers in Circuit Design (TPCD '94) jointly organized by the Forschungszentrum Informatik (University of Karlsruhe) and IFIP Working Group 10.2 in Bad Herrenalb, Germany in September 1994. The 19 papers included are thoroughly revised versions of the submissions selected for presentation at the conference and address all current aspects of theorem provers in circuit design. Particular emphasis is given to benchmark-circuits for hardware verification; tutorials on two popular theorem provers are included. 303.

N° de réf. du vendeur 34590

Titre
Theorem Provers in Circuit Design: Theory, Practice and Experience
Auteur
Kumar, Ramayya; Kropf, Thomas (Eds.)
Éditeur
Springer-Verlag
Année de publication
1995
Reliure
Paperback
Langue
anglais
ISBN à 10 chiffres
3540590471
ISBN à 13 chiffres
9783540590477
Édition
Reprint edition

George Cross Books

Lexington, MA, Etats-Unis

Vendeur avec une évaluation de 5 étoiles

Vendeur AbeBooks depuis 11 juin 2003

Membre d’une association professionnelle :

Frais d'expédition à l'intérieur de ce pays : Etats-Unis

Article5 à 14 jours ouvrés3 à 6 jours ouvrés
Premier articleEUR 3,44EUR 8,60
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
  • En espèces
  • Facture
  • Mandat
  • Paypal

Description de la boutique

Specializing in monographs and texts in Mathematics, Computer Science, Science, Engineering, Social Sciences, Psychology. Photography and Science Fiction.

Spécialité

Photography, Science Fiction, Social Sciences, Science, Computer Science, Mathematics

Membre d’une association professionnelle

  • Independent Online Booksellers Association
Les membres de ces associations s'engagent à respecter des critères de qualité particulièrement contraignants. Ils se portent garants de l'authenticité de tous les articles proposés à la vente. Ils fournissent des descriptions détaillées et professionnelles, signalent tous défauts et/ou traitements de restauration importants, établissent des prix clairs et précis et font preuve d'équité et d'honnêteté lors de l'achat d'un article.

Profil professionnel du vendeur

George Cross Books

MA, Etats-Unis