Formal Equivalence Checking and Design Debugging

Formal Equivalence Checking and Design Debugging

EnglishPaperback / softbackPrint on demand
Shi-Yu Huang
Springer-Verlag New York Inc.
EAN: 9781461376064
Print on demand
Delivery on Tuesday, 11. of August 2026
€196.12
Common price €217.92
Discount 10%
pc
Do you want this product today?
Oxford Bookshop Banská Bystrica
not available
Oxford Bookshop Bratislava
not available
Oxford Bookshop Košice
not available
EAN 9781461376064
ISBN 1461376068
Binding Paperback / softback
Publisher Springer-Verlag New York Inc.
Publication date September 30, 2012
Pages 229
Language English
Dimensions 235 x 155
Country United States
Readership Professional & Scholarly
Authors Kwang-Ting (Tim) Cheng; Shi-Yu Huang
Illustrations XVIII, 229 p.
Edition Softcover reprint of the original 1st ed. 1998
Series Frontiers in Electronic Testing
Manufacturer information
The manufacturer's contact information can be found here.