Up and Running with AutoCAD 2010
Elliot Gindis
₹2,855
Constraint-Based Verification
by Jun Yuan, Carl Pixley, Adnan Aziz
Springer · 2006
₹5,409
Free delivery. Nothing extra to pay at checkout.
- Delivery in 3–7 days to any serviceable pincode in India, with tracking.
- Cash on delivery. Pay when the parcel reaches you.
- 15-day returns. See what qualifies.
About this book
Published by Springer in 2006, Constraint-Based Verification by Jun Yuan, Carl Pixley & others runs to 253 pages.
Topics covered include Digital electronics, Constraints (Artificial intelligence), Testing and Electronic systems.
Book details
- ISBN-13
- 9780387259475
- ISBN-10
- 0387259473
- Authors
- Jun Yuan, Carl Pixley, Adnan Aziz
- Publisher
- Springer
- Published
- 2006
- Pages
- 253
- Language
- English
- Condition
- New
- Subject
- Computer-aided design
More in Computer-aided design
Numerische Mathematik
Robert Schaback, Holger Wendland
₹2,155
Analysis and Design of Univariate Subdivision Schemes
Malcolm Sabin
₹3,048
Unified Low-power Design Flow for Data-dominated Multi-media and Telecom Applications
Francky Catthoor
₹11,573
High Speed Cmos Design Styles
Kerry Bernstein, K. M. Carrig, Christopher M. Durham, David Hogenmiller, Patrick R. Hansen
₹11,582
AutoCAD 2008 for Dummies
David Byrnes
₹3,817
FPGA-Based Prototyping Methodology Manual
Doug Amos, Austin Lesea, Ren Richter
₹3,680
Design Computing
Brian R. Johnson
₹3,921
Structural Analysis with the Finite Element Method
Eugenio Onate
₹8,081
Nano-Scale CMOS Analog Circuits
Soumya Pandit, Chittaranjan Mandal, Amit Patra
₹3,506
Arbeit Und Informationstechnik
Klaus T. Schröder
₹3,508
Large-Scale Scientific Computing
Ivan Lirkov, Svetozar D. Margenov, Jerzy Wasniewski
₹5,336