- Date Created
- 2023-11-13 11:01:50
- Last Updated
- 2023-11-13 11:01:50
- UUID
- 35ca3874-323c-4978-8d44-f8c7984dee1a
Identifier: 978-1-107048-01-0
- Identifier Namespace
- isbn
- Identifier
- 978-1-107048-01-0
Identified Components with same Identifier:
Title | Package | Namespace |
---|---|---|
Program Logics for Certified Compilers (Current) | "Cambridge eBooks and Partner Presses: Full EBA, All eBooks" | isbn |
Program Logics for Certified Compilers (Current) | "Cambridge eBooks and Partner Presses: STM EBA, All STM " | isbn |