Ajkula
05-10-2022, 08:00 PM
[Only registered and activated users can see links][ 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
[Only registered and activated users can see links] rk.pdf
Download from Keep2Share
[Only registered and activated users can see links] rk.pdf
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
[Only registered and activated users can see links] rk.pdf
Download from Keep2Share
[Only registered and activated users can see links] rk.pdf