Hardware and Software (English, Sharon Barner | Ian Harris | Daniel Kroening)
by Sharon Barner | Ian Harris | Daniel Kroening
Delivery options
₹5,476
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: ₹5,476
Book Details
Publisher
Springer
Language
English
ISBN-13
9783642195822
ISBN-10
3642195822
Author
Sharon Barner | Ian Harris | Daniel Kroening
About the Book
This book constitutes the thoroughly refereed post-conference proceedings of the 6th International Haifa Verification Conference, HVC 2010, held in Haifa, Israel in October 2010. The 10 revised full papers presented together with 7 invited papers were carefully reviewed and selected from 30 submissions. The papers address all current issues, challenges and future directions of verification for hardware, software, and hybrid systems and have a res…
ISBN: 9783642195822
ISBN-13: 9783642195822
ISBN-10: 3642195822
Frequently Asked Questions
What is the price of Hardware and Software?
Hardware and Software starts from ₹5476 at GlowMirror. Available in Paperback.
Who is the author of Hardware and Software?
Sharon Barner | Ian Harris | Daniel Kroening is the author of Hardware and Software. Browse more books by Sharon Barner | Ian Harris | Daniel Kroening on GlowMirror.
Is Hardware and Software available in Paperback and Hardcover?
Yes, Hardware and Software is available in Paperback on GlowMirror. Select your preferred format on the product page.
Does GlowMirror offer free delivery for Hardware and Software?
Yes, GlowMirror offers free delivery for Hardware and Software across India. No minimum order value required.
Is Cash on Delivery available for Hardware and Software?
Yes, Cash on Delivery (COD) is available for Hardware and Software on GlowMirror. You can pay when your order is delivered.
Product ID: isbn-9783642195822
🛒 Customers Also Bought
Vademecum Labormedizin (English, H. -U Koch | Michael Pietsch | Helge Riegel)
₹4,965
Freundlichkeit Im Schulalltag (English, Gisela Steins)
₹2,779
Elementi Di Probabilità E Statistica (English, F. Biagini | M. Campanino)
₹2,869
Das Dritte Dogma Des Empirismus Das ABC Der Modernen Logik Und Semantik Der Begriff Der Erklärung Un (English, Wolfgang Stegmüller)
₹1,791
Tipps Und Tricks Für Den Herz- Und Thoraxchirurgen (English, D. Stockhausen | Christof Schmid)
₹1,208
Kompendium Der Immunologie (English, Miroslav Ferencik | Jozef Rovensky | Vladimir Matha)
₹4,601Related Products
Lagerungshilfsmittel in Der Krankenpflege (English, Julianna Savanov)
₹4,920
Ökonomie Der Abwasserbeseitigung (English, Thomas Sander)
₹4,530
Emotionale Kompetenz Im Lehrberuf (English, Christof Kuhbandner | Iris Schelhorn)
₹3,143
HIV Und AIDS (English, Hiv-Arbeitskreis Süd-West)
₹5,694
Der Angeborene Herzfehler (English, Mayer | Graf | Baumann)
₹3,143