Introducing Software Verification with Dafny Language: Proving Program Correctness
Apress; 1st ed. edition (1 Mar. 2022) | English | 9781484279779
Apress; 1st ed. edition (1 Mar. 2022) | English | 9781484279779
Apress; 1st ed. edition (27 Feb. 2022) | English | 9781484280508
Apress; 4th ed. edition (25 Feb. 2022) | English | 9781484279625
Apress; 1st ed. edition (February 28, 2022) | English | 9781484273791
Apress; 1st ed. edition (February 27, 2022) | English | 9781484274033
Apress; 1st ed. edition (February 28, 2022) | English | 9781484280287
Apress; 1st ed. edition (February 24, 2022) | English | 9781484279861
Apress; 1st ed. edition (February 24, 2022) | English | 9781484278352
Apress; 9th ed. edition (March 11, 2022) | English | 9781484279564
Apress; 1st ed. edition (February 24, 2022) | English | 9781484279267