Recent Developments in Anisotropic Heterogeneous Shell Theory
Alexander Ya Grigorenko, Wolfgang H. Muller, Yaroslav M. Grigorenko, Georgii G. Vlaikov
₹4,238
Formal Verification of Floating-Point Hardware Design
A Mathematical Approach
Springer International Publishing AG · 2018 · Hardcover
₹3,418
Free delivery. Nothing extra to pay at checkout.
- Delivery in 3–5 days to any serviceable pincode in India, with tracking.
- Cash on delivery. Pay when the parcel reaches you.
- 15-day returns.
- Express shipping. Same-day dispatch (Monday to Saturday), delivered all over India in 3–5 days.
Offer
Use code GIG9 at checkout and pay ₹3,110 for this book (save ₹308).
9% off every book, up to ₹500 off per order.
About this book
Formal Verification of Floating-Point Hardware Design: A Mathematical Approach by David M.
The book deals with Computer arithmetic.
Book details
- ISBN-13
- 9783319955124
- ISBN-10
- 3319955128
- Author
- David M. Russinoff
- Publisher
- Springer International Publishing AG
- Published
- 2018
- Edition
- 1st ed. 2019
- Binding
- Hardcover
- Pages
- 382
- Language
- English
- Condition
- New
- Subject
- Computing & IT
More in Computing & IT
Internetware
Hong Mei, Jian Lü
₹8,154
Distant Horizons – Digital Evidence and Literary Change
Ted Underwood
₹3,357
Gene Expression and Its Discontents
Deborah Wallace, Rodrick Wallace
₹11,559
The Power of Self-Presentation
Carmen Maíz-Arévalo
₹10,631
The Russian Secret Police
Ronald Hingley
₹13,024
Pro Microsoft Power BI Administration
Ásgeir Gunnarsson, Michael Johnson
₹4,045
Joe Celko's Analytics and Olap in SQL
Joe Celko
₹3,608
The Cambridge Handbook of Information and Computer Ethics
Luciano Floridi
₹4,113
Data Algorithms with Spark
Mahmoud Parsian
₹4,149
Just React!
Hari Narayn
₹5,086
Symbolic Computation for Statistical Inference
D. F. Andrews, J. E. H. Stafford
₹9,140