Aristata Boekwinkels
Cart is empty
Cart is empty
View cart
Checkout
 My Account
  • Orders
  • Wish list
Track my order(s)
Sign inRegister
Forgot your password?
Register for a new account
  • Menu
  • Protea Boekhuis
    • Arts & Culture
    • Biographies
    • Children
    • Fiction
    • Food
    • Guides
    • History
    • Language
    • Law
    • Music
    • Non-fiction
    • Poetry
    • Prose
    • Science
    • Travel & Adventure
    • Youth
  • University Books
    • University Book Lists
      • Aros
      • UP
      • SACAP
      • NWU
    • Books by Subject
      • Business, Economics & Management
      • Dictionaries
      • Education
      • Health Sciences
      • Humanities
      • Architecture
      • Law
      • Natural Sciences
      • Mathematics, Engineering & Computer Sciences
      • Philosophy
      • View more →
    • Prescribed Reading
      • Afrikaans Prescribed Reading
      • English Prescribed Reading
  • School Books
    • School Book Lists
      • Brainline
      • Charlton Vos College
      • Elshadai School
      • Loreto Skinner
      • Shalom Christian College
      • Siphiwe Montessori School
      • St Mary's Diocesan School
      • Tuks Sport
    • Books by Grade
      • Grade R
      • Grade 1
      • Grade 2
      • Grade 3
      • Grade 4
      • Grade 5
      • Grade 6
      • Grade 7
      • Grade 8
      • Grade 9
      • View more →
    • Study Guides
      • Grade 1
      • Grade 2
      • Grade 3
      • Grade 4
      • Grade 5
      • Grade 6
      • Grade 7
      • Grade 8
      • Grade 9
      • Grade 10
      • View more →
    • Readers
      • Afrikaans
      • English
      • Other Languages
  • General Books
    • Bestsellers
      • Top 10 Fiction
      • Top 10 Non-Fiction
      • Top 10 Local
      • Aristata Approved Reads
    • Newly Published
      • Fiction
      • Non-Fiction
      • Pan-African Writing
    • Fiction
      • Fantasy &Science Fiction
      • Afrikaans
      • Local Fiction
      • General Fiction
      • Classics
      • Crime & Thrillers
      • Fantasy & Science Fiction
      • Romance
      • Dramas
      • Comics & Humour
    • Non Fiction
      • Diaries &Gift Books
      • Current Affairs
      • Business, Law & Finance
      • History
      • Art & Design
      • Language
      • South Africa Current
      • Health & Lifestyle
      • Biographies
      • Pets, Fauna & Flora
      • View more →
    • Children's Books
      • Popular Authors
      • Baby & Toddler
      • Juniors
      • Teens
      • Children's Fiction
      • Children's Non-Fiction
    • Antiquarian
    • Theology
  • Gaming Stock
  • Stationery
Home/University Books/Books by Subject/Mathematics, Engineering & Computer Sciences/Logic in Computer Science
Free shipping

Logic in Computer Science

Write a review
R752.50
Price in points: 753 points
Reward points: 38 points
9780521543101
Out of Stock

Description

This second edition continues to provide a clear introduction to formal reasoning which is both relevant to the needs of modern computer science and rigorous enough for practical application. Improvements have been made throughout with many extra and expanded sections and exercises. The coverage of model-checking has been substantially updated.

Features

Published Date:
26/08/2004
ISBN:
9780521543101
Author:
Michael Huth
Publisher:
Cambridge University Press
Format:
Paperback / softback
Dimensions:
175 mm x 247 mm x 21 mm
Pages:
440
Language:
English

Stay Connected

I agree to have my personal data processed as follows and I want to subscribe for the following newsletters:

When you sign up for a specific newsletter, we (Aristata Boekwinkels) add your email address to a corresponding mailing list. While it is there, we know that we can contact you by email regarding that topic.

You can always have your email address removed from our mailing lists. There are multiple ways to do it:

  • Once your account is registered, just sign in and unsubscribe from newsletters in profile settings.
  • Use the “Unsubscribe” link in our newsletters that you receive.
  • Send an email to online@aristata.co.za.

We may use a third-party email service (MailChimp and/or Mad Mimi) to send newsletters. Some members of our staff can view mailing lists with email addresses. That way they’ll be able to remove your email address from the mailing list, should you request us to do so.

Please note that mailing lists are independent from each other. If you decide not to receive newsletters at all, you’ll have to unsubscribe from all the mailing lists. Even if you do that, you’ll still receive account-related emails (such as order status notifications, password reset emails, and more). It is essential for operating an online store.

If you decide that you no longer want to use our store and would like to have your personal data removed from our database (or if you’d like to get all the personal data associated with your account that we have), please send an email to online@aristata.co.za.

If you believe that your personal data has been misused, you have the right to lodge a complaint with a supervisory authority. We’re obliged by EU General Data Protection Regulation to let you know about this right; we don’t actually intend to misuse your data.

Get social

Facebook
Instagram

My account

  • Sign in
  • Create account

Aristata Boekwinkels

  • About us
  • Contact us
  • Branch Locator

Customer Service

  • About your order
  • Wishlist

About us

  • Privacy policy
  • Return Policy
  • Tell-a-Pal Referral Program
  • Aristata Points Policy