- Date Created
- 2024-06-17 21:58:46
- Last Updated
- 2024-06-17 21:58:46
- UUID
- 83e83341-1f75-4d37-9b75-8fdaa53196a8
Identifier: 978-3-031-60697-7
- Identifier Namespace
- isbn
- Identifier
- 978-3-031-60697-7
Identified Components with same Identifier:
Title | Package | Namespace |
---|---|---|
NASA Formal Methods (Current) | Springer Nature - Springer Lecture Notes in Computer Science eBooks | isbn |