Overview
- Includes supplementary material: sn.pub/extras
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 4350)
Part of the book sub series: Programming and Software Engineering (LNPSE)
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (24 chapters)
-
Part II: Full Maude
-
Part III: Applications and Tools
-
Part IV: Reference
Keywords
About this book
Reviews
From the reviews:
"This book is designed as a comprehensive introduction and reference to Maude as a system. … Whether you are a researcher in formal methods or only curious about different programming paradigms, this reference work is an interesting read. This very hands-on book is full of illuminating examples. … This book is an ideal introduction for computer professionals interested in more formal programming paradigms." (Markus Wolf, ACM Computing Reviews, Vol. 49 (12), December, 2008)
Bibliographic Information
Book Title: All About Maude - A High-Performance Logical Framework
Book Subtitle: How to Specify, Program, and Verify Systems in Rewriting Logic
Authors: Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn Talcott
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-540-71999-1
Publisher: Springer Berlin, Heidelberg
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer-Verlag Berlin Heidelberg 2007
Softcover ISBN: 978-3-540-71940-3Published: 20 July 2007
eBook ISBN: 978-3-540-71999-1Published: 19 July 2007
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XXII, 802
Topics: Programming Languages, Compilers, Interpreters, Programming Techniques, Software Engineering, Artificial Intelligence, Mathematical Logic and Formal Languages