Skip to content

Booksellers & Trade Customers: Sign up for online bulk buying at trade.atlanticbooks.com for wholesale discounts

Booksellers: Create Account on our B2B Portal for wholesale discounts

Search results for “[subject: hardware-chips-processors]”

Products

Formal Verification of Floating-Point Hardware Design: A Mathematical Approach

David M. Russinoff

Paperback

Current price ₹7,994
Original price ₹12,297
Original price ₹12,297
Original price ₹12,297
(-35%)
₹7,994
Current price ₹7,994

• Author(s): David M. Russinoff • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralFrom the Back CoverThis is the first book to focus on the problem of ensuring the correctness of floating...

View full details

Formal Verification of Floating-Point Hardware Design: A Mathematical Approach

David M. Russinoff

Hardcover

Current price ₹10,900
Original price ₹16,769
Original price ₹16,769
Original price ₹16,769
(-35%)
₹10,900
Current price ₹10,900

• Author(s): David M. Russinoff • Publisher: Springer • Publisher Imprint: Springer • BISAC: Electronics - Circuits - GeneralFrom the Back CoverThis is the first book to focus on the problem of ensuring the correctness of floating-point hardware ...

View full details

Formal Verification of Floating-Point Hardware Design: A Mathematical Approach

David M. Russinoff

Paperback

Current price ₹5,974
Original price ₹8,533
Original price ₹8,533
Original price ₹8,533
(-30%)
₹5,974
Current price ₹5,974

• Author(s): David M. Russinoff • Publisher: Springer • Publisher Imprint: Springer • BISAC: Electronics - Circuits - GeneralThis is the first book to focus on the problem of ensuring the correctness of floating-point hardware designs through mat...

View full details