Bookshelf
study guides books reading lists e-books
home sign in my orders my e-books my trolley my account contact
| can't find it |

| browse books |
books
 

books

| 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 300.95

Price: R 2 185.95

| 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 |



Normally shipped | Available from overseas. Usually dispatched in 14 days
Publisher | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Published date | 12 Aug 1987
Language |
Format | Paperback / softback
Pages | 125
Dimensions | 233 x 155 x 0mm (L x W x H)
Weight | 0g
ISBN | 978-3-5401-8217-7
Readership Age |
BISAC | computers / computer architecture

| other options |

| back |
| your trolley |
To view the items in your trolley please sign in.
| sign in |

| specials |

The Coming Wave: AI, Power and Our Future

Mustafa Suleyman
Paperback / softback
352 pages
was: R 295.95
now: R 265.95
Stock is usually dispatched in 6-12 days from date of order

Survive the AI Apocalypse: A guide for solutionists

Bronwyn Williams
Paperback / softback
232 pages
was: R 340.95
now: R 306.95
Stock is usually dispatched in 6-12 days from date of order
Look around you is anything real or normal any more? News, images and videos created by AI are everywhere.

The Memory Collectors: A Novel

Dete Meserve
Paperback / softback
320 pages


Enquiries only

The Colonialist: The Vision of Cecil Rhodes

William Kelleher Storey
Paperback / softback
528 pages
was: R 425.95
now: R 382.95
Usually dispatched in 6-12 days
This first comprehensive biography of Cecil Rhodes in a generation illuminates Rhodes’s vision for the expansion of imperialism in southern Africa, connecting politics and industry to internal development, and examines how this fueled a lasting, white-dominated colonial society.
 
Copyright 2025 |  terms and conditions