Sale
Introducing Software Verification With Dafny Language: Proving Program Correctness
Apress
ISBN13:
9781484279779
$29.99
$27.63
(No reviews yet)
Write a Review
Apress
Introducing Software Verification With Dafny Language: Proving Program Correctness
- | Author: Boro Sitnikovski
- | Publisher: Apress
- | Publication Date: Mar 15, 2022
- | Number of Pages: 151 pages
- | Language: English
- | Binding: Paperback
- | ISBN-10: 1484279778
- | ISBN-13: 9781484279779
- Author:
- Boro Sitnikovski
- Publisher:
- Apress
- Publication Date:
- Mar 15, 2022
- Number of pages:
- 151 pages
- Language:
- English
- Binding:
- Paperback
- ISBN-10:
- 1484279778
- ISBN-13:
- 9781484279779
-
-
-
Sale
-
