LEADER 00000nam  2200277 a 4500 
001    978-1-4020-7725-8 
003    GreenPo 
005    20081119152317.0 
006    m        d         
007    cr nn 008maaau 
008    080922s2004    nyu        j        eng d 
020    9781402077258 (paper) 
050 00 TK7868.D5|bM617 2004 
082 00 621.381548|222 
100 1  Molitor, Paul 
245 10 Equivalence checking of digital circuits|h[electronic 
       resource] :|bfundamentals, principles, methods /|cPaul 
       Molitor and Janett Mohnke 
260    Boston :|bKluwer Academic Publishers,|cc2004 
300    xiii, 262 p. :|bill., digital ;|c24 cm 
590    Springer 
650  0 Digital electronics|xTesting 
700 1  Mohnke, Janett 
710 2  SpringerLink (Online service) 
773 0  |tSpringer e-books 
856 40 |uhttp://dx.doi.org/10.1007/b105298|zE-Book(SpringerLink)