Search Results

Author: Shi-Yu Huang
Formal Equivalence Checking and Design Debugging

Formal Equivalence Checking and Design Debugging

Shi-Yu Huang
EnglishHardback
Kluwer Academic Publishers
ISBN: 9780792381846
On order
Delivery on Friday, 21. of August 2026
On order
Delivery on Friday, 21. of August 2026
CZK 5,266 -10%
Formal Equivalence Checking and Design Debugging

Formal Equivalence Checking and Design Debugging

Shi-Yu Huang
EnglishPaperback / softbackPrint on demand
Springer-Verlag New York Inc.
ISBN: 9781461376064
Print on demand
Delivery on Friday, 21. of August 2026
Print on demand
Delivery on Friday, 21. of August 2026
CZK 4,702 -10%
Formal Equivalence Checking and Design Debugging

Formal Equivalence Checking and Design Debugging

Huang, Shi-Yu
EnglishEbook
Springer US
ISBN: 9781461556930
Available online
Available online
CZK 5,455 -10%