-
Title
-
Formal Verification
-
Package
-
ProQuest_Ebook Central DDA
-
Platform
-
Ebook Central
-
URL
-
https://ebookcentral.proquest.com/lib/ebooksnrw/detail.action?docID=2111103
-
Status
-
Current
-
Publication Type
-
Monograph
-
Medium
-
Book
-
Language
-
-
First Author
-
Seligman, Erik
-
First Editor
-
Empty
-
Publisher Name
-
Elsevier Science & Technology
-
Date First in Print
-
2015-08-11
-
Date First Online
-
2015-08-11
-
Access Start Date
-
Empty
-
Access End Date
-
Empty
-
Volume Number
-
Empty
-
Edition Statement
-
1
-
Access Type
-
Paid
-
Note
-
Empty
-
Last Changed External
-
2023-09-30
- Date Created
-
2023-04-28 16:44:56
- Last Updated
-
2023-11-16 16:21:39
- UUID
-
c2193619-1742-4b1f-863c-0af76d4f35b7
| Identifier Namespace Name |
Identifier Namespace Value |
Identifier |
|
eISBN
|
eisbn
|
9780128008157
|
|
ISBN
|
isbn
|
9780128007273
|
|
Title_ID
|
title_id
|
2111103
|
-
Subject Area
-
Engineering: Electrical; Engineering
| Dewey Decimal Classification |
-
Series
-
Empty
-
Parent publication title ID
-
Empty
-
Superseding publication title ID
-
Empty
-
Preceding publication title ID
-
Empty
| Price Type |
Value |
Currency |
| list |
112.42 |
EUR |
| list |
119.94 |
USD |