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
Introduction to Lattice Dynamics (English, Martin T. Dove | Andrew Putnis | Robert C. Liebermann)
₹16,957
Mathematical Logic (English, Rene Cori | Daniel Lascar | Ren? Cori)
₹19,604
Einführung in Die Betriebswirtschaftslehre (English, Fred G. Becker)
₹2,155
Neurovascular Neuropsychology (English, Joanne Festa | J. P. Mohr | Ronald Lazar)
₹22,489
International Migration, Remittances, and the Brain Drain (English, Maurice Schiff | Çaglar Özden)
₹3,846
Handbook on Modelling for Discrete Optimization (English, Gautam M. Appa | Leonidas Pitsoulis | H. Paul Williams)
₹12,248Related Products
Sieve Methods, Exponential Sums, and Their Applications in Number Theory (English, G. R. H. Greaves | G. R. H. Greaves | G. Harman)
₹8,014
Rotodynamic Pump Design (English, R. K. Turton)
₹5,705
Fourier-Mukai Transforms in Algebraic Geometry (English, D. Huybrechts)
₹19,980
Elements of Algebraic Coding Theory (English, Vermani L.R.)
₹10,213
Introduction to the Theory of Ferromagnetism (English, Amikam Aharoni)
₹28,056