All About Maude - A High-Performance Logical Framework: How to Specify, Program and Verify Systems in Rewriting Logic

ebook img
Author:Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn Talcott (auth.)
Language:English
Release year:2007
File size:5.514 MB
Number of page:794

Similar All About Maude - A High-Performance Logical Framework: How to Specify, Program and Verify Systems in Rewriting Logic

We use cookies

We use cookies to ensure you get the best browsing experience on our website. By clicking "Accept Cookies", you agree that we can store cookies on your device in accordance with our Terms and Privacy.