All About Maude - A High-Performance Logical Framework
Subtitle: How to Specify, Program, and Verify Systems in Rewriting Logic (Lecture Notes in Computer Science)
Edition: 1 edition
Publisher: Springer
Published: September 14, 2007
Language: eng
Format: Paperback
Number of pages: 797
ISBN-13: 9783540719403
Subjects: Programming languages; Computers; Computers - Languages / Programming; Computer Books: Languages; Logic; Programming - Software Development; Programming Languages - General; Computers / Programming / General; constraint solving; decision procedures; declarative programming; distributed systems; formal specification; mathematical logic; model checking; program logics; program semantics; programming calculi; Programming - General