Title: Verification Techniques for System-Level Design
- Title
- Verification Techniques for System-Level Design
- Platform
- ScienceDirect
- Status
- Current
- Publication Type
- Monograph
- Medium
- Book
- Language
-
- First Author
- Masahiro Fujita, Indradeep Ghosh and Mukul Prasad
- First Editor
- Empty
- Publisher Name
- Morgan Kaufmann
- Date First in Print
- 2008-01-01
- Date First Online
- 2008-05-20
- Access Start Date
- 2008-05-20
- Access End Date
- Empty
- Volume Number
- Empty
- Edition Statement
- Empty
- Access Type
- Paid
- Note
- Empty
- Last Changed External
- 2024-03-13
- Date Created
- 2024-04-19 10:30:55
- Last Updated
- 2024-09-27 20:20:38
- UUID
- 85285d71-64b3-42fb-bafd-2e7135d4150d
Identifier Namespace Name | Identifier Namespace Value | Identifier |
---|---|---|
DOI | doi | 10.1016/B978-0-12-370616-4.X5001-0 |
eISBN | eisbn | 978-0-12-370616-4 |
Title_ID | title_id | 9780123706164 |
- Subject Area
- Computer Science
Dewey Decimal Classification |
---|
- Series
- Empty
- Parent publication title ID
- Empty
- Superseding publication title ID
- Empty
- Preceding publication title ID
- Empty
- Open Access
- Empty
Price Type | Value | Currency |
---|---|---|
list | 93.0 | EUR |