Constraint Solving
Showing all 2 resultsSorted by popularity
- 50%
Symbolic Execution and Quantitative Reasoning: Applications to Software Safety and Security
Sold by Corina S. Păsăreanu
Original price was: $5.00.$2.50Current price is: $2.50.
- 50%
Programmer Passport: Prolog
Sold by Bruce A. Tate
Original price was: $5.00.$2.50Current price is: $2.50.