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

Author: Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn Talcott (auth.)
Publisher: Springer-Verlag Berlin Heidelberg
Language: English
Edition: 1
Year: 2007
Page: 802
ISBN: 3540719407,9783540719403
File Type: pdf
File Size: 5.5 MiB

Just click on START button on Telegram Bot