| book details |

From Logic Design to Logic Programming: Theorem Proving Techniques and P-Functions

By (author) Dominique Snyers, By (author) Andre Thayse

| on special |

normal price: R 2 192.95

Price: R 2 083.95

| add to trolley |

| book description |

This work demonstrates that theorem-proving methods can lead to program synthesis and algorithm implementation by using pairs of logic laws: a deductive law for proving the theorem and a constructive law for synthesizing the program or algorithm. A systematic examination of deductive laws and of constructive laws is presented. The set of all possible pairs of laws provides us with a tool for classifying the different approaches for materializing algorithms (such as hardware, microprogramming, algorithmic programming, declarative programming, deductive approach for recursive routines).

| product details |

| other options |

| back |

| your trolley |

To view the items in your trolley please sign in.

| sign in |

| specials |

The History of Man

Siphiwe Gloria Ndlovu
Paperback / softback
288 pages
was: R 360.95
now: R 316.95
Stock is usually dispatched in 6-12 days from date of order

Emil Coetzee, a civil servant in his fifties, is washing blood off his hands when the ceasefire is announced.

| more |

| add to trolley |

The Quality of Mercy

Siphiwe Gloria Ndlovu
Paperback / softback
384 pages
was: R 340.95
now: R 299.95
Stock is usually dispatched in 6-12 days from date of order

This is indeed a story of mercy and the redemption it offers.

| more |

| add to trolley |

Broken Country: AMAZON'S BOOK OF THE YEAR - THE MILLION-COPY BESTSELLER

Clare Leslie Hall
Paperback / softback
320 pages

Enquiries only

An epic love story with the pulse of a thriller that asks: what would you risk for a second chance at first love?

| more |

| enquire |