Formal Methods Software Suite: Abstract State Machines, Alloy, B, TLA+, VDM, and Z From (1 Deals)54.99 USD View product
Formal Methods: Principles and Applications in Software Engineering From (1 Deals)49.99 USD View product