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...
Tears Before Bedtime (Paperback): Diane Awerbuck
Tears Before Bedtime
Diane Awerbuck Paperback R280 R240 Discovery Miles 2 400
Rebels And Rage - Reflecting On #FeesMustFall (Paperback): Adam Habib
Rebels And Rage - Reflecting On…
Adam Habib Paperback R589 Discovery Miles 5 890
Judicial Activism in Common Law Supreme Courts (Hardcover): Brice Dickson
Judicial Activism in Common Law Supreme…
Brice Dickson Hardcover R5,040 R3,894 Discovery Miles 38 940
New Directions in Geriatric Medicine - Concepts, Trends, and Evidence-Based Practice (Hardcover, 1st ed. 2016): Lee Ann...
New Directions in Geriatric Medicine…
Lee Ann Lindquist Hardcover R2,628 Discovery Miles 26 280
How to Slowly Kill Yourself and Others in America - Essays (Paperback): Kiese Laymon
How to Slowly Kill Yourself and Others…
Kiese Laymon Paperback R377 R347 Discovery Miles 3 470
Fast Facts for the Long-Term Care Nurse - A Guide for Nurses in Nursing Homes and Assisted Living Settings (Paperback):...
Fast Facts for the Long-Term Care Nurse…
Charlotte Eliopoulos Paperback R1,131 R884 Discovery Miles 8 840
Eat, Drink & Blame The Ancestors - The Best Columns 2009-2014 (Paperback): Ndumiso Ngcobo
Eat, Drink & Blame The Ancestors - The…
Ndumiso Ngcobo Paperback R426 Discovery Miles 4 260
Handbook on Risk and Inequality (Hardcover): Dean Curran
Handbook on Risk and Inequality
Dean Curran Hardcover R5,266 Discovery Miles 52 660
Sea Prayer (Hardcover): Khaled Hosseini
Sea Prayer
Khaled Hosseini Hardcover  (1)
 R416 R355 Discovery Miles 3 550
A Person My Colour - Love, Adoption And Parenting While White (Paperback): Martina Dahlmanns
A Person My Colour - Love, Adoption And…
Martina Dahlmanns Paperback R250 R231 Discovery Miles 2 310

 
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