Constraint-Based Verification

Constraint-Based Verification

Bibliographic Details
Published in:Springer e-books
Main Author: Yuan, Jun
Corporate Author: SpringerLink (Online service)
Other Authors: Aziz, Adnan, Pixley, Carl
Format: eBook
Language:English
Published: Boston, MA : Springer Science+Business Media, Inc., 2006.
Subjects:
Computer aided design
Computer engineering
engineering
Systems engineering
Engineering
Circuits and Systems
Computer-Aided Engineering (CAD, CAE) and Design
Electronic and Computer Engineering
Online Access:http://dx.doi.org/10.1007/0-387-30784-2
Перейти в каталог НБ ТГУ

Internet

http://dx.doi.org/10.1007/0-387-30784-2
Перейти в каталог НБ ТГУ

Similar Items