Multiobjective Heuristic Search
Pallab Dasgupta, P. P. Chakrabarti, S. C. Desarkar
₹2,809
A Roadmap for Formal Property Verification
Springer · 2006 · Hardcover
₹5,348
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, A Roadmap for Formal Property Verification by Pallab Dasgupta runs to 251 pages in hardcover.
Topics covered include Systems engineering, Logic design, Engineering and Computer-aided design.
Book details
- ISBN-13
- 9781402047572
- ISBN-10
- 1402047576
- Author
- Pallab Dasgupta
- Publisher
- Springer
- Published
- 2006
- Edition
- 1 edition
- Binding
- Hardcover
- Pages
- 251
- Language
- English
- Condition
- New
- Subject
- Computer-aided design
More by Pallab Dasgupta and related titles
Play Among Books
Miro Roman
₹5,406
High-level Synthesis for Real-time Digital Signal Processing
Jan Vanhoof, Gert Goossens, Karl Van Rompaey, Hugo De Man, Ivo Bolsens
₹11,545
Advances in Geometric Modeling and Processing
Bernard Mourrain, Scott Schaefer, Guoliang Xu
₹5,551
Visualization in Landscape and Environmental Planning
Ian D. Bishop, Eckhart Lange
₹4,304
On Line-Testing for VLSI
Michael Nicolaidis
₹7,768
Large-Scale Scientific Computing
Ivan Lirkov, Svetozar D. Margenov, Jerzy Wasniewski
₹5,336
Solid Modeling and Applications
Dugan Um
₹4,671
Similarity and Modeling in Science and Engineering
Josef Kuneš
₹3,593
AutoCAD
Dan Abbott
₹3,380
ROBUST MODAL CONTROL with a Toolbox for Use with MATLAB
Jean-françois Magni
₹6,614
Digital Systems Design and Prototyping Using Field Programmable Logic
Asim Smailagic, Zoran Salcic
₹4,321