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...
Chemistry Exam Practice for CCEA AS Level (Paperback): Nora Henry, Alyn Mcfarland
Chemistry Exam Practice for CCEA AS…
Nora Henry, Alyn Mcfarland Paperback R504 Discovery Miles 5 040
Pearson REVISE AQA GCSE (9-1) Chemistry Foundation Revision Workbook - for home learning, 2022 and 2023 assessments and exams...
Pearson REVISE AQA GCSE (9-1) Chemistry…
Nora Henry Paperback  (1)
 R266 Discovery Miles 2 660
Chemistry Handbook & Study Guide - Grade 11 & 12 - Chemistry Made Easy (IEB) (Paperback): Kevin Smith
Chemistry Handbook & Study Guide - Grade…
Kevin Smith Paperback R420 R394 Discovery Miles 3 940
GCSE Chemistry AQA Practice Papers: Higher Pack 2 (Paperback): CGP Books
GCSE Chemistry AQA Practice Papers…
CGP Books Paperback R271 Discovery Miles 2 710
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
All Things Now Living (Hardcover): Norma Lewis
All Things Now Living
Norma Lewis Hardcover R600 Discovery Miles 6 000
Ranelagh House - a Satire in Prose: in the Manner of Monsieur Le Sage (Paperback): Joseph Warton
Ranelagh House - a Satire in Prose: in…
Joseph Warton Paperback R354 Discovery Miles 3 540
Goeie nag, goeie dag - Stories vir jong ore (Afrikaans, Paperback):
Goeie nag, goeie dag - Stories vir jong…
Paperback R29 R27 Discovery Miles 270
History and Myth: Postcolonial Dimensions (Hardcover): Sayan Dey
History and Myth: Postcolonial…
Sayan Dey Hardcover R1,532 Discovery Miles 15 320
The Dhammapada (Hardcover): Gautama Buddha
The Dhammapada
Gautama Buddha Hardcover R615 Discovery Miles 6 150

 
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