Verification Model Checking and Abstract Interpretation (vol. # 3855)
Material type:![Text](/opac-tmpl/lib/famfamfam/BK.png)
- 978-3-540-75812-9
- كتب إلكترونية
Item type | Current library | Call number | Vol info | Copy number | Status | Date due | Barcode | |
---|---|---|---|---|---|---|---|---|
EDOC | المكتبة الرئيسية | كتب إلكترونية (Browse shelf(Opens below)) | 283 | 1 | Available |
Browsing المكتبة الرئيسية shelves Close shelf browser (Hides shelf browser)
كتب إلكترونية Unifying the Software Process Spectrum | كتب إلكترونية The Pollen Tube | كتب إلكترونية Human Resource Management in Consulting Firms | كتب إلكترونية Verification Model Checking and Abstract Interpretation (vol. # 3855) | كتب إلكترونية Frontiers of WWW Research and Development -- APWeb 2006 | كتب إلكترونية Advanced Web and Network Technologies and Applications | كتب إلكترونية Organic Contaminants in Riverine and Groundwater Systems |
Subscription to database on August 2010
There are no comments on this title.
Log in to your account to post a comment.