Back to Results
First PageMeta Content
Maude system / Functional languages / OBJ / Unification / Maude / Algebraic structure / Modularity / International Space Station / Spaceflight / Software engineering / Theoretical computer science


Maude Manual (Version 2.6) Manuel Clavel Francisco Dur´an Steven Eker Patrick Lincoln Narciso Mart´ı-Oliet
Add to Reading List

Document Date: 2011-01-23 16:32:56


Open Document

File Size: 2,63 MB

Share Result on Facebook
UPDATE