- Date Created
- Last Updated
- UUID
- 0e574a0f-bb4d-4c84-b0f3-af2d626bb251
Title Update Infos: Program Logics for Certified Compilers
- Package Update Info
- "Cambridge eBooks and Partner Presses: Full EBA, All eBooks"
- Description
- Delete Title 'Program Logics for Certified Compilers' because is not in KBART!
- Status
- Successful
- Type
- Changed Title
- Start Time
- 2024-08-30
- End Time
- 2024-08-30
- KBART Field
- status
- Old Value
- Deleted
- New value
- Deleted