- Date Created
- 2022-09-11 12:35:36
- Last Updated
- 2022-09-11 12:35:36
- UUID
- 396f5d47-7f1c-4cf2-b456-4f75bbc6a4e7
Title Update Infos: Abstract State Machines, Alloy, B, VDM, and Z
- Package Update Info
- Springer Nature - Springer Computer Science eBooks 2012 English International
- Description
- Changes in Title 'Abstract State Machines, Alloy, B, VDM, and Z'
- Status
- Successful
- Type
- Changed Title
- Start Time
- 2022-09-11
- End Time
- 2022-09-11
- KBART Field
- parent_publication_title_id
- Old Value
- Empty
- New value
- 558