30-Day No-Hassle Returns
We guarantee your satisfaction on every purchase or rental with a full refund within 30 days of your purchase date.
Fast, Same-Day Customer Service
If you need help, our friendly, helpful Customer Service team will contact you the same business day.
The Best Prices on Textbook Rentals, Guaranteed
You can shop with confidence with the best rental prices at ValoreBooks.com. If you find a lower priced rental, we will match it.
See the full guarantee details

A High-Performance Logical Framework -- All about Maude

by

Clavel, Manuel, Eker, Steven, Lincoln, Patrick

$115.87 $3.95 Shipping
List Price
$119.00
Discount
2%off
You Save
$3.13
Item Details
Condition: New Seller:
Super Book Deals
Rating: (868) 81% Ships From: Multiple Locations Shipping: Standard Comments: Brand New, Perfect
Condition, Please allow
4-14 business days for
delivery. 100% M... [more] Brand New, Perfect
Condition, Please allow
4-14 business days for
delivery. 100% Money Back
Guarantee, Over 1,000,000
customers served. [less]
Marketplace Prices
1 Usedfrom $115.87
3 Newfrom $115.87
A High-Performance Logical Framework -- All about Maude, ISBN 9783540719403 Own This Book? Sell It
ISBN-13:

9783540719403

ISBN:

3540719407

Pub Date: 2007
Publisher: Springer Summary: This monograph gives a comprehensive account of Maude, a language and system based on rewriting logic. 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. Maude is used in many institutions around the world for teaching, research, and formal modeling and analysi [read more]
THE EXTRA MILE GUARANTEE
  • 30-Day No-Hassle Returns
  • Fast, Same-Day Customer Service
  • The Best Prices on Textbook Rentals
Read More
NEED HELP PAYING FOR COLLEGE?
  • Find student loan options quickly and easily
  • Compare loans to find the best fit for you
  • Apply for the loan that meets your needs
Find Loan
Price + Shipping
Condition
Details
Used
(1 from $115.87) 
$115.87
+ $3.95 shipping
LOW ITEM PRICE
Used
Like New
  • Seller: Super Book Deals
  • Seller Rating: (868) 81%
  • Ships from: Multiple Locations
  • Shipping Methods: Standard
  • Comments: Brand New, Perfect Condition, Please allow 4-14 business days for delivery. 100% Money Back Guarantee, Over 1,000,000 customers served.
  • Contact seller about this item
QUANTITY

99+ In-Stock
New
(3 from $115.87) 
$115.87
+ $3.95 shipping
LOW ITEM PRICE
New
  • Seller: Super Book Deals
  • Seller Rating: (868) 81%
  • Ships from: Multiple Locations
  • Shipping Methods: Standard
  • Comments: Brand New, Perfect Condition, Please allow 4-14 business days for delivery. 100% Money Back Guarantee, Over 1,000,000 customers served.
  • Contact seller about this item
QUANTITY

99+ In-Stock
$148.96
+ $3.95 shipping
New
QUANTITY

3 In-Stock
$160.20
+ $3.95 shipping
New
QUANTITY

1 In-Stock
Product Details
ISBN-13:

9783540719403


ISBN:

3540719407


Pub Date: 2007
Publisher: Springer

This monograph gives a comprehensive account of Maude, a language and system based on rewriting logic. 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. Maude is used in many institutions around the world for teaching, research, and formal modeling and analysis of concurrent and distributed systems. Many examples are used throughout the book to illustrate the main ideas, features, and uses of Maude. The book comes with a CD-ROM containing the complete Maude 2.3 software distribution (including source code), a pdf version of this monograph, and the executable Maude code for all the examples in the book.

Where's My Stuff?
Shipping & Returns
Need Help?