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

Logic Synthesis and Verification Algorithms

Logic Synthesis and Verification Algorithms

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

Logic Synthesis and Verification Algorithms is a textbook designed for courses on VLSI Logic Synthesis and Verification, Design Automation, CAD and advanced level discrete mathematics. It also serves as a basic reference work in design automation for both professionals and students. Logic Synthesis and Verification Algorithms is about the theoretical underpinnings of VLSI (Very Large Scale Integrated Circuits). It combines and integrates modern developments in logic synthesis and formal verification with the more traditional matter of Switching and Finite Automata Theory. The book also provides background material on Boolean algebra and discrete mathematics. A unique feature of this text is the large collection of solved problems. Throughout the text the algorithms covered are the subject of one or more problems based on the use of available synthesis programs.

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

Single Product Purchase

$72.00
@ Link.springer.com with extra coupon Get Coupon & BUY

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
$79.99 $79.99

10% OFF
This deals requires coupon Get Code Here
$72.00
See Site In stock Visit Store

Similar Products

Das Automobil als konstruktive Metapher

$49.99

Die Deutsch-Ostafrikanische Centralbahn

$59.99

Clinical Applications of Cognitive Therapy

$149.00

The Body of Nature and Culture

$54.99

Chinas Macroeconomic Outlook

$39.99

Einfhrung in die Strmungsmetechnik

$49.99

Atlas of Ocular Anatomy

$109.99

Surface Coatings

$379.99

Untersuchungen ber Selbststerilitt und Selbstfertilitt bei grtnerischen Kulturpflanzen

$59.99

Formal Analysis by Abstract Interpretation

$49.99

Service-Oriented Computing - ICSOC 2007

$84.99

Humean Bodies and their Consequences

$109.99

Handbook of Production Scheduling

$89.00

Mobilitt statt Exodus

$34.99

Constipation and Ano-Rectal Insufficiency

$219.99

Fat-Soluble Vitamins

$169.99

Bedeutsame Momente und Erfolgsfaktoren im Online-Coaching

$54.99

Gestational Trophoblastic Disease

$169.99

Visual Studio Lightswitch 2015

$44.99

Protection of Fundamental Rights in Europe

$129.99

Membrane Lipids

$219.99

Ladenzeiten im Einzelhandel

$59.99

Talk in Two Languages

$54.99

Wirkungen des Produktdesigns

$99.99

Defect and Fault Tolerance in VLSI Systems

$84.99

Zur Anwendung der Elektrodialyse auf die Trennung von Schwermetallkomplexen

$59.99

Sabkha Ecosystems

$169.99

Management Models of Digital Transformation

$99.99

Aspects of Face Processing

$39.99

Die Multimedia-Familie

$59.99

Algorithms and Classification in Combinatorial Group Theory

$39.99

Education, Ethnicity and Equity in the Multilingual Asian Context

$109.99

Microarray Bioinformatics

$249.99

Seismic Design of RC Buildings

$99.99

Das Photographische Objektiv

$84.99

Politics, Disability, and Education Reform in the South

$54.99

African Indigenous Financial Institutions

$69.99

Design and Development of MEMS based Guided Beam Type Piezoelectric Energy Harvester

$109.00

Artificial Neural Networks

$109.00

CMOS Capacitive Sensors for Lab-on-Chip Applications

$84.99