- Date Created
- 2023-10-18 10:48:20
- Last Updated
- 2023-10-18 10:48:20
- UUID
- 76b0bd24-f401-4d4f-85df-8b695a8dc52e
Title Update Infos: "Abstract State Machines, Alloy, B, TLA, VDM, and Z"
- Package Update Info
- Springer Nature - Springer Computer Science eBooks 2016 English International
- Description
- Changes in Title '"Abstract State Machines, Alloy, B, TLA, VDM, and Z"'
- Status
- Successful
- Type
- Changed Title
- Start Time
- 2023-10-18
- End Time
- 2023-10-18
- KBART Field
- parent_publication_title_id
- Old Value
- 7407
- New value
- 558