Welcome to Loot.co.za!   Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
0
Your cart

Your cart is empty
Browse All Departments
  • All Departments
Price
  • R2,500 - R5,000 (1)
  • -
Status
Brand

Showing 1 - 1 of 1 matches in All Departments

All About Maude - A High-Performance Logical Framework - How to Specify, Program, and Verify Systems in Rewriting Logic (Mixed... All About Maude - A High-Performance Logical Framework - How to Specify, Program, and Verify Systems in Rewriting Logic (Mixed media product, 2007)
Manuel Clavel, Francisco Duran, Steven Eker, Patrick Lincoln, Narciso Marti-Oliet, …
R2,833 Discovery Miles 28 330
Add to cart
Ships in 10 - 15 working days

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.

 Free Delivery
Pinterest Twitter Facebook Google+
You may like...
Vital BabyŽ HYGIENE? Super Soft Hand & Face Wipes (Fruity Fragrance):
Vital BabyŽ HYGIENE™ Super Soft Hand…
R46 Discovery Miles 460
Seagull Trampoline Foam Tube (8ft/2.5m/2.5m)(Single):
Seagull Trampoline Foam Tube…
R24 Discovery Miles 240
Britney Spears Fantasy Eau De Parfum Spray (30ml) - Parallel Import (USA):
Britney Spears Fantasy Eau De Parfum…
R496 R410 Discovery Miles 4 100
ZA Key ring - Gun Metal:
ZA Key ring - Gun Metal
R199 Discovery Miles 1 990
Confronting Inequality - The South African Crisis (Paperback): Michael Nassen Smith
Confronting Inequality - The South…
Michael Nassen Smith Paperback R250 R195 Discovery Miles 1 950
Bostik Glue Stick - Loose (25g):
Bostik Glue Stick - Loose (25g)
R42 Discovery Miles 420
Cadac 47cm Paella Pan:
Cadac 47cm Paella Pan
R1,215 Discovery Miles 12 150
Discovering Daniel - Finding Our Hope In God's Prophetic Plan Amid Global Chaos (Paperback): Amir Tsarfati, Rick Yohn
Discovering Daniel - Finding Our Hope In…
Amir Tsarfati, Rick Yohn Paperback R280 R199 Discovery Miles 1 990
The Equalizer 3 (Blu-ray disc): Denzel Washington
The Equalizer 3
Denzel Washington Blu-ray disc R151 R141 Discovery Miles 1 410
Loot (Paperback, New edition): Nadine Gordimer
Loot
Nadine Gordimer Paperback  (2)
 R205 R168 Discovery Miles 1 680

 
Books | DVD | Games | Music | Computers | Electronics | Fashion | Sport | Kitchen | Home | Pets | DIY | Toys | Baby | Health & Beauty | Stationery | Arts & Crafts
Need help?
My account
Services
Networking
Partners