0

My Bag

0.00

₹

Download App

All About Maude - A High-Performance Logical Framework: How to Specify, Program, and Verify Systems in Rewriting Logic (Lecture Notes in Computer Science / Programming and Software Engineering) 4.0%OFF

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

by Manuel Clavel, Francisco Dur�n and Steven Eker

  • ISBN

    :  

    9783540719403

  • Publisher

    :  

    Springer

  • Subject

    :  

    Computer Science, Education, Computer Programming / Software Development

  • Binding

    :  

    PAPERBACK

  • Pages

    :  

    819

  • Year

    :  

    2007

₹

10151.0

4.0% OFF

₹

9744.0

Buy Now

Shipping charges are applicable for books below Rs. 101.0

View Details

(Imported Edition) Estimated Shipping Time : 25-28 Business Days

View Details

Share it on

  • Description

    Maude is a language and system based on rewriting logic. In this comprehensive account, youx2019;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 Items

-

of

  • OFFER

    ASP.NET: Developer's Guide

    Greg Buczek

    Starts At

    877.0

    1070.0

    18% OFF

  • OFFER

    Visual C++ Programming

    Yashavant P. Kanetkar

    Starts At

    288.0

    390.0

    26% OFF

  • Integrated Telecommunications Management Solutions

    Graham Chen

    Starts At

    11558.0

  • Modeling and Asynchronous Distributed Simulation: Analyzing Complex Systems

    Sumit Ghosh

    Starts At

    795.0

  • OFFER

    Neural Networks and Artificial Intelligence for Biomedical Engineering

    Donna L. Hudson

    Starts At

    15918.0

    18510.0

    14% OFF

  • OFFER

    Dibs: In Search of Self

    Virginia Mae Axline

    Starts At

    449.0

    599.0

    25% OFF

  • OFFER

    Lectures on Computation

    Richard P Feynman

    Starts At

    1022.0

    1382.0

    26% OFF

  • OFFER

    Pedagogy of the Oppressed (Penguin Education)

    Paulo Freire

    Starts At

    558.0

    744.0

    25% OFF

  • OFFER

    Unfinished Symphony: A Tribute to the Alumni of Bishop Cotton Boys' School Bangalore

    Aditya Sondhi

    Starts At

    215.0

    250.0

    14% OFF

  • Biomedical Instrumentation and Measurements

    Weibell J Fred

    Starts At

    350.0

  • OFFER

    The Book of Numbers

    Devi Shakuntala

    Starts At

    135.0

    165.0

    18% OFF

  • OFFER

    Making Decisions

    D. V. Lindley

    Starts At

    6849.0

    9383.0

    27% OFF

© 2016, All rights are reserved.

Subscribe to Our Newsletter

 

Are you sure you want to remove the item from your Bag?

Yes

No

Added to Your Wish List

OK

Your Shopping Bag

- 3 Items

null

Item

Delivery

Unit Price

Quantity

Sub Total

Shipping Charges : 0.0 Total Savings        : Grand Total :

Order Summary