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,782 Discovery Miles 27 820
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...
Everlotus Bluetooth Speaker MP-0321 (Black):
Everlotus Bluetooth Speaker MP-0321…
R499 R299 Discovery Miles 2 990
Canyon Speaker (Bsp-4 5w)(Red):
Canyon Speaker (Bsp-4 5w)(Red)
R299 Discovery Miles 2 990
Genius SP-906BT R2 Plus Portable Bluetooth Speaker (Blue):
Genius SP-906BT R2 Plus Portable…
 (1)
 R294 Discovery Miles 2 940
Juvenile Justice - An Introduction to Process, Practice, and Research (Hardcover): James Burfeind, Dawn Jeglum Bartusch, Dusten...
Juvenile Justice - An Introduction to…
James Burfeind, Dawn Jeglum Bartusch, … Hardcover R4,831 Discovery Miles 48 310
Empathetic Leadership - 47 Practical Tips For Leading With Kindness, Courage And Confidence In An Age Of Disruption...
Empathetic Leadership - 47 Practical…
Michael Brisciana Paperback R455 R429 Discovery Miles 4 290
Family Life and Youth Offending - Home is Where the Hurt is (Hardcover, Annotated Ed): Raymond Arthur
Family Life and Youth Offending - Home…
Raymond Arthur Hardcover R5,531 Discovery Miles 55 310
How to Thrive in the Virtual Workplace - Simple and Effective Tips for Successful, Productive, and Empowered Remote Work...
How to Thrive in the Virtual Workplace…
Robert Glazer Paperback R383 R361 Discovery Miles 3 610
The Forty-Five (Paperback): Lord Mahon
The Forty-Five
Lord Mahon Paperback R488 Discovery Miles 4 880
Columbarium - Or, the Pigeon-House. Followed by an Account of Some Medicines Prepar'd by John Moore (Paperback): John Moore
Columbarium - Or, the Pigeon-House…
John Moore Paperback R398 Discovery Miles 3 980
JVC Light Show Bluetooth Speaker (Red):
JVC Light Show Bluetooth Speaker (Red)
R684 Discovery Miles 6 840

 
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