Browsing: > Home > Search > Search Results：Logical Framework
  • Results 1 - 10 of about 1 for "Logical Framework". (0.06 seconds)

All About Maude A High Performance Logical Framework: How to Specify, Program,

on Nov 17,2010 in Programming comment »

All About Maude - A High-Performance Logical Framework: How to Specify, Program, and Verify Systems in Rewriting Logic By Manuel Clavel, Francisco Durán

Publisher: Sp.rin.ger 2007 | 797 Pages | ISBN: 3540719407 | PDF | 5 MB

Maude is a language and system based on rewriting logic. In this comprehensive account, you’ll…