home
sign in
my orders
my e-books
my trolley
my account
contact
keyword
isbn13
author
title
| can't find it |
Tell us the title, author
and / or ISBN number
*
Any other details such as author,
ISBN, title or genre. Please be specific
What is your email address?
*
Not a valid email address
| browse books |
Textbooks
books
antiques & collectibles
architecture
art
biography & autobiography
body, mind & spirit
business & economics
comics & graphic novels
computers
cooking
crafts & hobbies
drama
education
family & relationships
fiction
foreign language study
games
gardening
health & fitness
history
house & home
humor
juvenile fiction
juvenile nonfiction
language arts & disciplines
law
literary collections
literary criticism
mathematics
medical
music
nature
non-classifiable
performing arts
pets
philosophy
photography
poetry
political science
psychology
reference
religion
science
self-help
social science
sports & recreation
study aids
technology
transportation
travel
true crime
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,386.95
Price: R 2,147.95
| add to trolley |
processing...
| 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 |
Normally shipped |
Available from overseas. Delivery time is 14 - 21 days
Readership Age |
Normal Price |
R 2,616.95
Price |
R 2,354.95
| on special |
| add to trolley |
processing...
| back |
| your trolley |
To view the items in your trolley please sign in.
| sign in |
| specials |
Living in a hut in 21st Century South Africa
Monde Ndandani
Paperback / softback
142 pages
was: R 220.95
now: R 198.95
Usually delivered in 6-12 days
| more |
| add to trolley |
processing...
The Memory Collectors: A Novel
Dete Meserve
Paperback / softback
320 pages
Enquiries only
| more |
| enquire |
processing...
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
| more |
| add to trolley |
processing...
Survive the AI Apocalypse: A guide for solutionists
Bronwen Williams
Paperback / softback
232 pages
was: R 340.95
now: R 306.95
Forthcoming
Let's stare the future down and, instead of fearing AI, become solutionists.
| more |
| add to trolley |
processing...
Copyright 2025
|
terms and conditions
