- Date Created
- 2022-12-23 09:03:34
- Last Updated
- 2022-12-23 09:03:34
- UUID
- 12332fde-76cc-4f46-9481-4b59cf90fa81
Title Update Infos: "Abstract State Machines, Alloy, B, TLA, VDM, and Z"
- Package Update Info
- Springer Nature - Springer Computer Science eBooks 2018 English International
- Description
- Changes in Title '"Abstract State Machines, Alloy, B, TLA, VDM, and Z"'
- Status
- Successful
- Type
- Changed Title
- Start Time
- 2022-12-23
- End Time
- 2022-12-23
- KBART Field
- access_start_date
- Old Value
- Empty
- New value
- 2018-05-14