Track Order   | Customer Support   | Request Book   |
International Order
All About Maude - A High-Performance Logical Framework at Meripustak

All About Maude - A High-Performance Logical Framework

Books from same Author: Manuel Clavel Francisco Durán Steven Eker Patrick Lincoln Narciso Martí-Oliet José Meseguer Carolyn Talcott

Books from same Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Related Category: Author List / Publisher List

  • Retail Price: ₹ 8792/- [ 15.00% off ]

    Seller Price: ₹ 7473

Sold By: T K Pandey      Click for Bulk Order

Offer 1: Get ₹ 111 extra discount on minimum ₹ 500 [Use Code: Bharat]

Offer 2: Get 15.00 % + Flat ₹ 100 discount on shopping of ₹ 1500 [Use Code: IND100]

Offer 3: Get 15.00 % + Flat ₹ 300 discount on shopping of ₹ 5000 [Use Code: MPSTK300]

Free Shipping (for orders above ₹ 499) *T&C apply.

In Stock

Free Shipping Available


Click for International Orders
  • Provide Fastest Delivery
  • 100% Original Guaranteed
    • General Information  
    Author(s)Manuel Clavel Francisco Durán Steven Eker Patrick Lincoln Narciso Martí-Oliet José Meseguer Carolyn Talcott
    PublisherSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
    Edition2007
    ISBN9783540719403
    Pages802
    BindingMixed media product 
    LanguageEnglish
    Publish YearSeptember 2007

    Description

    Springer-Verlag Berlin and Heidelberg GmbH & Co. KG All About Maude - A High-Performance Logical Framework by Manuel Clavel Francisco Durán Steven Eker Patrick Lincoln Narciso Martí-Oliet José Meseguer Carolyn Talcott

    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.