Picture of All About Maude – A High–Performance Logical Framework: How to Specify, Program, and Verify Systems in Rewriting Logic (Lecture Notes in Computer Science / Programming and Software Engineering)

All About Maude – A High–Performance Logical Framework: How to Specify, Program, and Verify Systems in Rewriting Logic (Lecture Notes in Computer Science / Programming and Software Engineering)

Francisco Duran, Josae Meseguer, Manuel Clavel, Narciso Marta­–Oliet, Patrick Lincoln, Steven Eker

Springer

September 2007

Paperback, 797 pages

ISBN: 3540719407

Business Analyst Training IIBA endorsed
On-Site and On-Line Training Courses for Business Analysts

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.

 

Share

Free Business Analyst Skills Test for CBAP
Share

Business Analysis for Information Technology products

Picture of Presentation Skills

Presentation Skills