[ All About Maude A High Performance Logical Framework ]

LNCS 4350 - All About Maude - A High-Performance Logical Framework (Frontmatter Pages)
by Manuel Clavel, Francisco Dur?n, Steven Eker, Patrick Lincoln, Narciso Mart?-Oliet, Jos? Meseguer, and Carolyn Talcott
English | 2007 | ISBN: ‎ 978-3540719403 | ‎ Springer; 2007th edition | 794 pages | pdf | 6 MB

Maude is a language and system based on rewriting logic. In this comprehensive account, you'll discover how Maude and its formal tool environment can be used in three mutually reinforcing ways: as a declarative programming language, as an executable formal specification language, and as a formal verification system. Examples used throughout the book illustrate key concepts, features, and the many practical uses of Maude.

Download from RapidGator
Code:
https://rapidgator.net/file/f7e844701ba255b3f594c73025904890/All_About_Maude_A_High_Performance_Logical_Framework.pdf
Download from Keep2Share
Code:
https://k2s.cc/file/bb66b21dc8f18/All_About_Maude_A_High_Performance_Logical_Framework.pdf