Sign In | Not yet a member? | Submit your article
 
Home   Technical   Study   Novel   Nonfiction   Health   Tutorial   Entertainment   Business   Magazine   Arts & Design   Audiobooks & Video Training   Cultures & Languages   Family & Home   Law & Politics   Lyrics & Music   Software Related   eBook Torrents   Uncategorized  
Letters: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

All About Maude - A High-Performance Logical Framework: How to Specify, Program, and Verify Systems in Rewriting Logic
All About Maude - A High-Performance Logical Framework: How to Specify, Program, and Verify Systems in Rewriting Logic
Date: 14 April 2011, 22:49
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.
Related Articles:
Logic  

DISCLAIMER:

This site does not store All About Maude - A High-Performance Logical Framework: How to Specify, Program, and Verify Systems in Rewriting Logic on its server. We only index and link to All About Maude - A High-Performance Logical Framework: How to Specify, Program, and Verify Systems in Rewriting Logic provided by other sites. Please contact the content providers to delete All About Maude - A High-Performance Logical Framework: How to Specify, Program, and Verify Systems in Rewriting Logic if any and email us, we'll remove relevant links or contents immediately.


Posts related to "All About Maude - A High-Performance Logical Framework: How to Specify, Program, and Verify Systems in Rewriting Logic"
Organizational Assessment: A Framework for Improving Performance Organizational Assessment: A Framework for Improving Performance

ISBN/ASIN: 0889369984
Total size: 21.6 MB
High Performance Computing on Vector Systems 2009 High Performance Computing on Vector Systems 2009

ISBN/ASIN: 364203912X
Total size: 16.26 MB
Admissibility of Logical Inference Rules, Volume 136 (Studies in Logic and the Foundations of Mathematics) Admissibility of Logical Inference Rules, Volume 136 (Studies in Logic and the Foundations of Mathematics)

ISBN/ASIN: 0444895051
Total size: 8 MB
Formalizing Medieval Logical Theories: Suppositio, Consequentiae and Obligationes (Logic, Epistemology, and the Unity of Science) Formalizing Medieval Logical Theories: Suppositio, Consequentiae and Obligationes (Logic, Epistemology, and the Unity of Science)

ISBN/ASIN: 1402058527
Total size: 2 MB
Assessing Information Security: Strategies, Tactics, Logic and Framework Assessing Information Security: Strategies, Tactics, Logic and Framework

ISBN/ASIN: 1849280355
Total size: 4.5 MB
What Is a Logical System? (Studies in Logic and Computation) What Is a Logical System? (Studies in Logic and Computation)

ISBN/ASIN: 0198538596
Total size: 3 MB
High Performance ASIC Design: Using Synthesizable Domino Logic in an ASIC Flow High Performance ASIC Design: Using Synthesizable Domino Logic in an ASIC Flow

ISBN/ASIN: 0521873347
Total size: 5.62 MB
High Performance Computing in Science and Engineering '10: Transactions of the High Performance Computing Center, Stuttgart (HLRS) 2010 High Performance Computing in Science and Engineering '10: Transactions of the High Performance Computing Center, Stuttgart (HLRS) 2010

ISBN/ASIN: 3642157475
Total size: 36.1 MB
Bioinformatics: High Performance Parallel Computer Architectures (Embedded Multi-Core Systems) Bioinformatics: High Performance Parallel Computer Architectures (Embedded Multi-Core Systems)

ISBN/ASIN: 1439814880
Total size: 6.5 MB

Comments

Comments (0) All

Verify: Verify

    Sign In   Not yet a member?


Popular searches
running