Jump to Main Content
News
we:kb News
Search
All Components
Packages
Platforms
Providers
Titles
Vendors
Curatory Groups
Sources
Login
Identifier: 978-1-4842-7978-6
Identifier Namespace
eisbn
Identifier
978-1-4842-7978-6
Identified Components with same Identifier:
Title
Package
Namespace
Introducing Software Verification with Dafny Language
(Current)
Springer Nature English International Enhanced KBART 2016-2023
eisbn
Introducing Software Verification with Dafny Language
(Current)
Springer Nature - Springer Professional and Applied Computing eBooks 2022 English International
eisbn
Edit (Login required)
Date Created
2022-03-04 10:53:54
Last Updated
2022-03-04 10:53:54
UUID
7dbaa3fa-3ca2-4f36-b6e0-9f1d6b6fe4ab
Loading