Applied Formal Verification (English, Douglas L. Perry | Harry Foster)
by Douglas L. Perry | Harry Foster
Delivery options
₹14,457
Genuine Book · Tracked Delivery
Free Shipping · Dispatched in 1–2 days💵 COD Available📦 Delivery in 3-4 days
Available Offers
Free Delivery — Dispatched in 1–2 business days. Most orders delivered in 3–12 business days.
15-Day Easy Returns — hassle-free return & full refund.
Secure Payment — 100% safe checkout with UPI, Cards & Net Banking.
Total: ₹14,457
Book Details
Publisher
McGraw-Hill Companies
Language
English
ISBN-13
9780071443722
ISBN-10
007144372X
Author
Douglas L. Perry | Harry Foster
About the Book
Publisher's Note: Products purchased from Third Party sellers are not guaranteed by the publisher for quality, authenticity, or access to any online entitlements included with the product. Formal Verification, ASAP Applied Formal Verification delivers right-now methods for integrating this powerful tool into your design process. Written by two of the field's leaders, this tutorial opens shortcuts to the concept-proving, efficiency-boosting benefi…
ISBN: 9780071443722
ISBN-13: 9780071443722
ISBN-10: 007144372X
Frequently Asked Questions
What is the price of Applied Formal Verification?
Applied Formal Verification starts from ₹14457 at BookBajar. Available in Paperback.
Who is the author of Applied Formal Verification?
Douglas L. Perry | Harry Foster is the author of Applied Formal Verification. Browse more books by Douglas L. Perry | Harry Foster on BookBajar.
Is Applied Formal Verification available in Paperback and Hardcover?
Yes, Applied Formal Verification is available in Paperback on BookBajar. Select your preferred format on the product page.
Does BookBajar offer free delivery for Applied Formal Verification?
Yes, BookBajar offers free delivery for Applied Formal Verification across India. No minimum order value required.
Is Cash on Delivery available for Applied Formal Verification?
Yes, Cash on Delivery (COD) is available for Applied Formal Verification on BookBajar. You can pay when your order is delivered.
Product ID: isbn-9780071443722
🛒 Customers Also Bought
Fourier-Mukai Transforms in Algebraic Geometry (English, D. Huybrechts)
₹19,980
Real-World Applications of Evolutionary Computing (English, Stefano Cagnoni | Riccardo Poli | George D. Smith)
₹5,580
Handbook of Psychobiography (English, William Todd Schultz)
₹10,880
Chirurgie Der Abdominalen Und Thorakalen Aorta (English, R. I. Rückert | Wolfgang Hepp | Bernd Luther)
₹4,237
International Migration, Remittances, and the Brain Drain (English, Maurice Schiff | Çaglar Özden)
₹3,846
Galactic and Intergalactic Magnetic Fields (English, R. Beck | P. P. Kronberg | R. Wielebinski)
₹15,094Related Products
Angstdiagnostik (English, Jürgen Hoyer | Jürgen Margraf)
₹5,330
Fundamentals of Magnonics (English, Rezende | Sergio M.)
₹6,128
In Their Own Words (English, C. Christine Fair)
₹4,768
Nanoscale Energy Transport and Conversion (English, Gang Chen)
₹24,264
Introduction to Lattice Dynamics (English, Martin T. Dove | Andrew Putnis | Robert C. Liebermann)
₹16,957