- Date Created
- 2023-09-12 09:48:46
- Last Updated
- 2023-09-12 09:48:46
- UUID
- 7fe9e9e3-ec37-4b2c-b63e-5f527cdb97f5
Identifier: 978-3-319-96145-3
- Identifier Namespace
- eisbn
- Identifier
- 978-3-319-96145-3
Identified Components with same Identifier:
Title | Package | Namespace |
---|---|---|
Computer Aided Verification (Current) | Springer Nature English International Enhanced KBART 2016-2023 | eisbn |
Computer Aided Verification (Current) | Springer Nature - Springer Computer Science eBooks 2018 English International | eisbn |
Computer Aided Verification (Current) | Springer Nature - Springer Lecture Notes in Computer Science eBooks | eisbn |