Title: Handbook of Model Checking
- Title
- Handbook of Model Checking
- Platform
- SpringerLink
- Status
- Retired
- Publication Type
- Monograph
- Medium
- Book
- Language
-
- First Author
- Clarke
- First Editor
- Nugent
- Publisher Name
- Empty
- Date First in Print
- 2018-01-01
- Date First Online
- 2018-01-01
- Access Start Date
- Empty
- Access End Date
- Empty
- Volume Number
- Empty
- Edition Statement
- 1
- Access Type
- Empty
- Note
- Empty
- Last Changed External
- Empty
- Date Created
- 2019-10-14 22:03:33
- Last Updated
- 2022-11-14 14:25:15
- UUID
- 55c53e09-6b9f-4ef5-a947-c696299dd0ec
Identifier Namespace Name | Identifier Namespace Value | Identifier |
---|---|---|
DOI | doi | 10.1007/978-3-319-10575-8 |
eISBN | eisbn | 9783319105758 |
ISBN | isbn | 9783319105741 |
- Subject Area
- Empty
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 |
---|