1. Home
  2. Introducing Software Verification with Dafny Language: Proving Program Correctness
  • #

Introducing Software Verification with Dafny Language: Proving Program Correctness

50.13 GBP

Share:

Related products

History Hit & Dan Snow The History Hit Miscellany of Facts, Figures and Fascinating Finds

History Hit & Dan Snow The History Hit Miscellany of Facts, Figures and Fascinating Finds

16.99 GBP
Establishing SRE Foundations : A Step-by-Step Guide to Introducing Site Reliability Engineering in Software Delivery Organizations

Establishing SRE Foundations : A Step-by-Step Guide to Introducing Site Reliability Engineering in Software Delivery Organizations

43.99 GBP
Solid Starts for Babies : How to Introduce Solid Food and Raise a Happy Eater

Solid Starts for Babies : How to Introduce Solid Food and Raise a Happy Eater

18.99 GBP
The Elstree Story (DVD, 1952 2013)

The Elstree Story (DVD, 1952 2013) - New & Sealed

6.99 GBP
If Life Is a Game, These Are the Rules: Ten Rules for Being Human as Introduced in Chicken Soup for the Soul

If Life Is a Game, These Are the Rules: Ten Rules for Being Human as Introduced in Chicken Soup for the Soul

17.99 GBP
Archaeological Theory in the New Millennium : Introducing Current Perspectives

Archaeological Theory in the New Millennium : Introducing Current Perspectives

45.99 GBP
Introducing Juan Pablo

Introducing Juan Pablo

19.81 GBP
Borghese Hydro-Minerali Deluxe Age Control Body Serum

Borghese Hydro-Minerali Deluxe Age Control Body Serum

0.00