Geruva Publications

Software CD Department

BACK TO PUBLICATIONS LIST    

cs2045: (CD) $12.00 -- The Maude Programming Language - Linux/UNIX and more or less MacOS-X and Windows

Department: software
Product Type: CD
Price: $12.00

The Maude Programming Language - Linux/UNIX and more or less MacOS-X and Windows

Maude is a high-performance reflective language and system supporting both equational and rewriting logic specification and programming for a wide range of applications. Maude has been influenced in important ways by the OBJ3 language, which can be regarded as an equational logic sublanguage. [-MORE-]




(for downloads, you will be sent a download ticket by email)