Reflection in Rewriting Logic : Metalogical Foundations and Metaprogramming Applications
Manuel Clavel
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Hardback)
£52.00
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Hardback)
Add to BasketReflection in Rewriting Logic : Metalogical Foundations and Metaprogramming Applications
Manuel Clavel
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback)
£24.00
£23.29
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback)
Add to BasketAll About Maude - A High-Performance Logical Framework : How to Specify, Program, and Verify Systems in Rewriting Logic
Manuel Clavel
Download - Immediately Available
Format: eBook (PDF)