- Date Created
- 2023-09-12 20:02:42
- Last Updated
- 2023-09-12 20:02:42
- UUID
- 5eafb8a1-e238-43e0-b070-1fee27da9b30
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
- New Title 'Abstract State Machines, Alloy, B, TLA, VDM, and Z'
- Status
- Successful
- Type
- New Title
- Start Time
- 2023-09-12
- End Time
- 2023-09-12
- KBART Field
- Empty
- Old Value
- Empty
- New value
- Empty