An edition of All About Maude - A High-Performance Logical Framework (2007)

All About Maude - A High-Performance Logical Framework

How to Specify, Program, and Verify Systems in Rewriting Logic (Lecture Notes in Computer Science)

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

0 (0 Ratings)

0 Want to read0 Currently reading0 Have read

Publish Date

September 14, 2007

Publisher

Springer

Language

eng

Pages

800

Description:

subjects: Artificial intelligence, Computer science, Software engineering, Human information processing, Logic, Computer logic, Rewriting systems (Computer science)