Introducing Software Verification with Dafny Language: Proving Program Correctness - Paperback

Name: Books by splitShops Introducing Software Verification with Dafny Language: Proving Program Correctness - Paperback - Introducing Software Verification with Dafny Language: Proving Program Correctness - Paperback
Brand: Books by splitShops
SKU: 43780086694023
Price: 35.62 USD
Availability: InStock

4.5 (1,234)

Sold 100+ last 30 days

20% off first order

$35.62

Quantity

Color

Black

Quantity

Description

Report copyright infringement
by Boro Sitnikovski (Author)
Get introduced to software verification and proving correctness using the Microsoft Research-backed programming language, Dafny. While some other books on this topic are quite mathema...