- Date Created
- 2023-04-28 13:42:29
- Last Updated
- 2023-04-28 13:42:29
- UUID
- bb200463-fa9b-4af5-8b09-b89604449679
Title Update Infos: Formal Techniques for Safety-Critical Systems
- Package Update Info
- ProQuest_Ebook Central DDA
- Description
- New Title 'Formal Techniques for Safety-Critical Systems'
- Status
- Successful
- Type
- New Title
- Start Time
- 2023-04-28
- End Time
- 2023-04-28
- KBART Field
- Empty
- Old Value
- Empty
- New value
- Empty