formal methods
Filter
Showing all 6 results
- 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%
Computer Things: 2019-2020
Sold by Hillel Wayne
Original price was: $20.00.$10.00Current price is: $10.00.
- 50%
Concise Guide to Software Engineering: From Fundamentals to Application Methods
Sold by Gerard O’Regan
Original price was: $18.71.$9.36Current price is: $9.36.
- 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.
- 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.