- Date Created
- 2020-01-14 11:13:12
- Last Updated
- 2020-01-14 11:13:12
- UUID
- 87c94c7e-eb6d-4cfc-ac9c-ec0773856c07
Identifier: 978-1-4419-5998-0
- Identifier Namespace
- eisbn
- Identifier
- 978-1-4419-5998-0
Identified Components with same Identifier:
| Title | Package | Namespace |
|---|---|---|
| Scalable Techniques for Formal Verification (Current) | Springer Nature - Springer Engineering eBooks 2010 English International | eisbn |