SAT-Based Scalable Formal Verification Solutions
Material type: TextLanguage: English Publication details: Springer; Germany; 2007ISBN:- 978-0-387-23895-1
- كتب إلكترونية
Item type | Current library | Call number | Copy number | Status | Date due | Barcode | |
---|---|---|---|---|---|---|---|
EDOC | المكتبة الرئيسية | كتب إلكترونية (Browse shelf(Opens below)) | 1 | Available |
Browsing المكتبة الرئيسية shelves Close shelf browser (Hides shelf browser)
كتب إلكترونية Network Control and Engineering for QoS Security and Mobility IV | كتب إلكترونية Measuring Human Trafficking | كتب إلكترونية Introduction to C++ Programming and Graphics | كتب إلكترونية SAT-Based Scalable Formal Verification Solutions | كتب إلكترونية Cancer Informatics in the Post Genomic Era | كتب إلكترونية Data Quality and Record Linkage Techniques | كتب إلكترونية Compiling ESTEREL |
Subscription to database on August 2010
There are no comments on this title.
Log in to your account to post a comment.