Introducing Software Verification with Dafny Language
Boro Sitnikovski
APress, 2022
42,95 €On orderDelivery: 2-3 weeks
- ISBN-13
- 9781484279779
- ISBN-10
- 1484279778
- Publisher
- APress
- Year
- 2022
- Publication date
- 2022-03-01
- Pages
- 131
- Dimensions
- 235x155x
Boro Sitnikovski
APress, 2022