Location & Availability for: All about Maude-- a high-performance log

 Staff view

You must be logged in to Tag Records

All about Maude-- a high-performance logical framework : how to specify, program and verify systems in rewriting logic /

Manuel Clavel [and others].

Book Cover
Main Author: Clavel, Manuel
Published: Berlin : Springer-Verlag, ©2007.
Series: Lecture notes in computer science ; 4350.
LNCS sublibrary. SL 2, Programming and software engineering.
Topics: Computer logic. | Rewriting systems (Computer science) | Human information processing. | Rewriting systems (Computer science) | Human information processing. | Computer logic. | Informatique.
Genres: Electronic books.
Tags: Add


Spaces will separate tags.
Use quotes for multi-word tags.


Loading Holdings Data ... Loading

Location & Availability for: All about Maude-- a high-performance log