- Date Created
- 2023-03-02 20:11:20
- Last Updated
- 2023-03-02 20:11:20
- UUID
- 093c086d-8f46-4171-87ad-ff9d38bff87b
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
- 2023-03-02
- End Time
- 2023-03-02
- KBART Field
- parent_publication_title_id
- Old Value
- 558
- New value
- 7407