Formal Verification of Structurally Complex Multipliers

Mahzoon, Alireza;GroĂźe, Daniel;Drechsler, Rolf | Autoři

Vše od Springer International Publishing AG
ISBN: 9783031245732

This book addresses the challenging tasks of verifying and debugging structurally complex multipliers. The authors also describe a complete debugging flow, including bug localization and fixing, to find the location of bugs in structurally complex multipliers and make corrections.

Více o produktu


Nejprodávanější produkty v aktuálním měsíci.

2 350 Kč

1 - 2 ks
2 350 Kč
3 - 10 ks
2 327 Kč
11 a více ks
2 304 Kč

Naše cena 2 350 Kč je o 6 % nižší než
doporučená cena výrobce 2 500 Kč.

Předpoklad doručení do 27. května *

* Termín expedice je odhadovaný a může se mírně upravit podle termínu dodání od našeho dodavatele. Pokud by došlo ke změně, vždy vás budeme včas informovat.

2 350 Kč 2 500 Kč

Nepřehlédněte od Springer International Publishing AG

Více o produktu

This book addresses the challenging tasks of verifying and debugging structurally complex multipliers. The authors also describe a complete debugging flow, including bug localization and fixing, to find the location of bugs in structurally complex multipliers and make corrections.

Výrobce
Springer International Publishing AG
Jazyk
Switzerland
Autor
Mahzoon, Alireza;GroĂźe, Daniel;Drechsler, Rolf
Rozměry
235 x 155
Rok vydání
2024
Počet stran
130
Obsah
Paperback / softback
Počet stran
130 pages, 23 Illustrations, color; 13 Illustrations, black and white

Zanechte své hodnocení

Budeme rádi, když se podělíte o svou zkušenost s Formal Verification of Structurally Complex Multipliers a pomůžete tak ostatním zákazníkům při výběru.

Navíc každý měsíc losujeme jednoho z těch, kteří nám zanechali recenzi, a obdarujeme ho kuponem na nákup v hodnotě 500 Kč. Možná právě Vy budete tím šťastným – držíme palce!