All About Maude - A High-Performance Logical Framework

All About Maude - A High-Performance Logical Framework
Author :
Publisher : Springer
Total Pages : 799
Release :
ISBN-10 : 9783540719991
ISBN-13 : 3540719997
Rating : 4/5 (997 Downloads)

Book Synopsis All About Maude - A High-Performance Logical Framework by : Manuel Clavel

Download or read book All About Maude - A High-Performance Logical Framework written by Manuel Clavel and published by Springer. This book was released on 2007-07-19 with total page 799 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.


All About Maude - A High-Performance Logical Framework Related Books

All About Maude - A High-Performance Logical Framework
Language: en
Pages: 799
Authors: Manuel Clavel
Categories: Computers
Type: BOOK - Published: 2007-07-19 - Publisher: Springer

GET EBOOK

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
CONCUR '96: Concurrency Theory
Language: en
Pages: 772
Authors: Ugo Montanari
Categories: Computers
Type: BOOK - Published: 1996-08-07 - Publisher: Springer Science & Business Media

GET EBOOK

This book constitutes the refereed proceedings of the 8th International Conference on Concurrency Theory, CONCUR'97. held in Warsaw, Poland, in July 1997. The 2
Logic, Language, Information, and Computation
Language: en
Pages: 342
Authors: Lawrence S. Moss
Categories: Mathematics
Type: BOOK - Published: 2018-06-26 - Publisher: Springer

GET EBOOK

Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 25th Workshop on Lo
CONCUR'99. Concurrency Theory
Language: en
Pages: 585
Authors: Jos C.M. Baeten
Categories: Mathematics
Type: BOOK - Published: 2003-07-31 - Publisher: Springer

GET EBOOK

This book constitutes the proceedings of the 10th International Conference on Concurrency Theory, CONCUR'99, held in Eindhoven, The Netherlands in August 1999.
Theoretical Aspects of Computing - ICTAC 2005
Language: en
Pages: 628
Authors: Dang Van Hung
Categories: Computers
Type: BOOK - Published: 2005-10-21 - Publisher: Springer

GET EBOOK

This volume contains the proceedings of ICTAC 2005, the second ICTAC, International Colloquium on Theoretical Aspects of Computing. ICTAC 2005 took place in Han