All About Maude - A High-Performance Logical Framework: How to Specify, Program, and Verify Systems in Rewriting Logic (Lecture Notes in Computer Science, Band 4350)

Francisco

von: Manuel Clavel · Francisco Durán · Steven Eker · Patrick Lincoln · Narciso Martí-Oliet · José Meseguer · Carolyn Talcott

Taschenbuch

ISBN: 978-3-540-71940-3

ISBN-10: 3-540-71940-7

Springer · 2007