Introducing Software Verification with Dafny Language
€35,08
Currently out of stockLeave your email and we will let you know as soon as it is back, usually within 3-4 weeks.
14-day return guaranteeChanged your mind? You can cancel your order any time or return it within 14 days. Return policy
About the book
Introducing Software Verification with Dafny Language by Boro Sitnikovski.
Published by Apress L. P., (2022), Paperback, 131 pages.
| Author | Boro Sitnikovski |
|---|---|
| Publisher | APress |
| Published | 2022 m. |
| Language | English |
| Pages | 131 psl. |
| Format | Paperback |
| Edition | 1st ed. |
| ISBN | 9781484279779 |
