Program Verification
Showing all 2 results
- 50%
Formal Methods and Software Engineering
Sold by Shang-Wei Lin
Original price was: $39.99.$20.00Current price is: $20.00.
- 50%
Foundations of Probabilistic Programming
Sold by Gilles Barthe
Original price was: $80.00.$40.00Current price is: $40.00.