-
All About Maude – A High-Performance Logical Framework: How to Specify, Program, and Verify Systems in Rewriting Logic (Programming and Software Engineering) (Lecture Notes in Computer Science)
0Original price was: $56.00.$10.00Current price is: $10.00.
