All About Maude - A High-Performance Logical Framework: How to Specify, Program, and Verify Systems in Rewriting Logic (Lecture Notes in Computer Science)
暫譯: 全面了解 Maude - 高效能邏輯框架：如何在重寫邏輯中指定、程式設計及驗證系統 (計算機科學講義)

Name: All About Maude - A High-Performance Logical Framework: How to Specify, Program, and Verify Systems in Rewriting Logic (Lecture Notes in Computer Science)
Price: 3924 TWD
Availability: OnlineOnly
Author: Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn Talcott
ISBN: 3540719407

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn Talcott

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

出版商: Springer
出版日期: 2007-07-20
售價: $4,130
貴賓價: 9.5 折 $3,924
語言: 英文
頁數: 802
裝訂: Paperback
ISBN: 3540719407
ISBN-13: 9783540719403
相關分類: Computer-Science

海外代購書籍(需單獨結帳)

商品描述

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.