- Date Created
- 2023-10-05 20:01:23
- Last Updated
- 2023-10-05 20:01:23
- UUID
- e59907bd-dcee-4bd4-912d-1ed2dbc701da
Title Update Infos: Abstract State Machines, Alloy, B, TLA, VDM, and Z
- Package Update Info
- Springer Nature - Springer Lecture Notes in Computer Science eBooks
- Description
- Changes in Title 'Abstract State Machines, Alloy, B, TLA, VDM, and Z'
- Status
- Successful
- Type
- Changed Title
- Start Time
- 2023-10-05
- End Time
- 2023-10-05
- KBART Field
- access_type
- Old Value
- Empty
- New value
- Paid