PaperbackBoro SitnikovskiIntroducing Software Verification with Dafny Language €35,08 Delivery 3-4 weeksNotify
PaperbackBoro SitnikovskiIntroduction to Dependent Types with Idris €37,40€37,49 Delivery 3-4 weeksNotify
