Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

Theorem Provers in Circuit Design: Theory, Practice and Experience

Theorem Provers in Circuit Design: Theory, Practice and Experience

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9783540491774
Condition
New
Product Description

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.

Available Colors
Available Sizes
1 Offer Price Range: $39.99 - $39.99
BEST PRICE

Single Product Purchase

$39.99
@ Link.springer.com     BUY Now

Price Comparison

Seller Contact Seller List Price On Sale Shipping Best Promo Final Price Volume Discount Financing Availability Seller's Page
BEST PRICE
1 Product Purchase
@ Link.springer.com
Contact Store Call Store Contact Support
$39.99 $39.99

$39.99
See Site In stock Visit Store

Similar Products

Diagnostik intrakranieller Blutungen beim Neugeborenen

$69.99

Practical Imaging Informatics

$89.00

Computability

$54.99

Mathematical Modeling and Simulation of Systems

$84.99

Internal Affairs

$109.99

Education for Sustainable Peace and Conflict Resilient Communities

$109.99

See What You Say / Ve lo que dices

$5.96

Kreative bungen in der Ergotherapie

$34.99

Pam Allyn's Best Books for Boys

$16.49

Transformation Groups Poznan 1985

$34.99

Data Management, Analytics and Innovation

$249.99

Stress Signaling in Plants: Genomics and Proteomics Perspective, Volume 2

$179.99

Modern Discrete Mathematics and Analysis

$129.99

Nucleic Acids: The Vectors of Life

$54.99

Aufbau einer professionellen Einkaufsabteilung

$17.99

Moderne Energiesysteme ein Beitrag zur Energiewende

$34.99

Die Anwendung der Klte in der Lebensmittelindustrie

$64.99

Developing Englands North

$159.99

Phase Transitions and Self-Organization in Electronic and Molecular Networks

$129.00

Einfhrung in die Wirtschaftsinformatik

$29.99

Wege zu effektiven Psychotherapien

$59.99

Urbanization, Urbanism, and Urbanity in an African City

$39.99

Lake Naivasha, Kenya

$109.99

Progress in Cryptology INDOCRYPT 2019

$39.99

Paleoanthropology of the Balkans and Anatolia

$139.99

Imagining the Black Female Body

$39.99

Spring REST

$44.99

Big Data Benchmarks, Performance Optimization, and Emerging Hardware

$44.99

Land, Labour and Livelihoods

$139.99

Manage or Perish?

$219.99

Statistics for High-Dimensional Data

$84.99

Adaptronics Smart Structures and Materials

$109.99

Factories of the Future

$54.99

Applications of Metaheuristics in Process Engineering

$54.99

Integral Global Optimization

$54.99

Implementing Integrated Water Resources Management in Central Asia

$219.99

Illustration Studio: Beginning MangaAn Interactive Guide to Learning the Art of Manga Illustration

$15.81

Hilfsmechanismen des Stoffwechsels I

$44.99

Graduate Study for the Twenty-First Century

$19.99

Spaces of Surveillance

$139.99