- Date Created
- 2020-01-03 09:44:13
- Last Updated
- 2020-01-03 09:44:13
- UUID
- 3340e195-2d79-473c-8307-3e4f40aee940
Identifier: 978-3-319-08866-2
- Identifier Namespace
- isbn
- Identifier
- 978-3-319-08866-2
Identified Components with same Identifier:
Title | Package | Namespace |
---|---|---|
Computer Aided Verification (Current) | Springer Nature - Springer Computer Science eBooks 2014 English International | isbn |
Computer Aided Verification (Current) | Springer Nature - Springer Lecture Notes in Computer Science eBooks | isbn |