- Date Created
- 2023-05-01 20:15:00
- Last Updated
- 2023-05-01 20:15:00
- UUID
- 6d653534-6c2a-484c-af67-3aaa5d8e67ba
Title Update Infos: Certified Programs and Proofs
- Package Update Info
- Springer Nature - Springer Computer Science eBooks 2012 English International
- Description
- Changes in Title 'Certified Programs and Proofs'
- Status
- Successful
- Type
- Changed Title
- Start Time
- 2023-05-01
- End Time
- 2023-05-01
- KBART Field
- parent_publication_title_id
- Old Value
- 7407
- New value
- 558