- Date Created
- 2023-04-28 13:42:29
- Last Updated
- 2023-04-28 13:42:29
- UUID
- 1401e00e-137d-4456-adc8-42269657bb68
Identifier: 9783319539454
- Identifier Namespace
- isbn
- Identifier
- 9783319539454
Identified Components with same Identifier:
| Title | Package | Namespace |
|---|---|---|
| Formal Techniques for Safety-Critical Systems (Retired) | Springer:Ebooks:ComputerScience:2018 | isbn |
| Formal Techniques for Safety-Critical Systems (Current) | ProQuest_Ebook Central DDA | isbn |