Formal Methods
Showing all 3 resultsSorted by popularity
- 50%
Formal Methods and Software Engineering
Sold by Shang-Wei Lin
Original price was: $39.99.$20.00Current price is: $20.00.
- 50%
Abstract State Machines, Alloy, B and Z: Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010, Proceedings
Sold by Marc Frappier
Original price was: $5.00.$2.50Current price is: $2.50.
- 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.