Your search returned 2 results.

1.
Equivalence Checking of Digital Circuits: fundamentals, principles, methods Paul Molitor

by Molitor, Paul | Mohnke, Janett.

Material type: Text Text Publication details: Boston Kluwer Academic Publishers 2004Availability: Items available for reference: Not for loanCall number: REF 621.38 MOL (1). :

2.
Constraint-Based Verification by Jun Yuan

by Yuan, Jun | Aziz, Adnan | Pixley, Carl.

Material type: Text Text Publication details: New York Springer 2006Availability: Items available for reference: Not for loanCall number: REF 005.115 YUA (1). :


Library Home | Contact Us | LRC Help

Copyright @ 2020 LRC
Jaypee University of Information Technology
website hit counter

Powered by Koha