All About Maude - a High-performance Logical Framework : How to Specify, Program, and Verify Systems in Rewriting Logic
ISBN: 9783540719991
Information Available:
Summary
Cover Image
Copyright held by Baker & Taylor.