- Date Created
- 2020-01-14 11:13:12
- Last Updated
- 2020-01-14 11:13:12
- UUID
- 9c718727-9780-446c-88dc-a3283b604af3
Identifier: 978-1-4419-5997-3
- Identifier Namespace
- isbn
- Identifier
- 978-1-4419-5997-3
Identified Components with same Identifier:
Title | Package | Namespace |
---|---|---|
Scalable Techniques for Formal Verification (Current) | Springer Nature - Springer Engineering eBooks 2010 English International | isbn |