Just published books https://www.kriso.ee Mon, 28 Feb 2022 00:00:00 GMT Mon, 28 Feb 2022 00:00:00 GMT Introducing Software Verification with Dafny Language: Proving Program Correctness https://www.kriso.ee/introducing-software-verification-dafny-language-proving-db-9781484279786e.html <a href="https://www.kriso.ee/introducing-software-verification-dafny-language-proving-db-9781484279786e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Boro Sitnikovski<br>ISBN: 9781484279786<br> Publisher: APress<br> Format: PDF+DRM, Pub. Date: 28-Feb-2022<br> Price: 34,57 € https://www.kriso.ee/db/97814842797862e.html Mon, 28 Feb 2022 00:00:00 GMT Introducing Software Verification with Dafny Language: Proving Program Correctness https://www.kriso.ee/introducing-software-verification-dafny-language-proving-db-9781484279786e.html <a href="https://www.kriso.ee/introducing-software-verification-dafny-language-proving-db-9781484279786e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Boro Sitnikovski<br>ISBN: 9781484279786<br> Publisher: APress<br> Format: EPUB+DRM, Pub. Date: 28-Feb-2022<br> Price: 34,57 € https://www.kriso.ee/db/97814842797866e.html Mon, 28 Feb 2022 00:00:00 GMT