Title Update Infos: Certified Programs and Proofs

Package Update Info
Springer Nature - Springer Computer Science eBooks 2012 English International
Title
Certified Programs and Proofs
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
Date Created
2023-05-01 20:15:00
Last Updated
2023-05-01 20:15:00
UUID
6d653534-6c2a-484c-af67-3aaa5d8e67ba


Loading