Identifier: 978-1-4842-7977-9

Identifier Namespace
isbn
Identifier
978-1-4842-7977-9


Identified Components with same Identifier:

Title Package Namespace
Introducing Software Verification with Dafny Language (Current) Springer Nature English International Enhanced KBART 2016-2023 isbn
Introducing Software Verification with Dafny Language (Current) Springer Nature - Springer Professional and Applied Computing eBooks 2022 English International isbn
Edit (Login required)
Date Created
2022-03-04 10:53:54
Last Updated
2022-03-04 10:53:54
UUID
93d24f51-8641-492e-b2b6-d214f7f14472


Loading