Horror Recs by Place

Introducing Software Verification with Dafny Language > Editions

by Boro Sitnikovski

Sort by
Format
Language
Editions
Showing 1-2 of 2
Introducing Software Verification with Dafny Language
Introducing Software Verification with Dafny Language (Paperback)
Published March 15th 2022 by Apress
1st ed., First Edition, Paperback, 151 pages
Author(s):
ISBN:
9781484279779 (ISBN10: 1484279778)
ASIN:
1484279778
Edition language:
English
Average rating:
3.00 (2 ratings)
more details
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars
Introducing Software Verification with Dafny Language: Proving Program Correctness
Introducing Software Verification with Dafny Language: Proving Program Correctness (Kindle Edition)
Published February 28th 2022 by Apress
Kindle Edition, 156 pages
Author(s):
ISBN:
9781484279786 (ISBN10: 1484279786)
ASIN:
B09TP2BZMV
Edition language:
English
Average rating:
0.0 (0 ratings)
more details
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars

per page