Logic in Computer Science : Modelling and Reasoning about Systems | Professional & Programming | Computing & IT | Computing & IT | Non-Fiction Specialist | Books | Makro Online Site
text.skipToContent text.skipToNavigation
Black Friday Extended from 2 - 29 November 2020. New deals every week
Login or Register
Get the tailored Makro experience. Login for faster checkout, online order tracking and more.
Logic in Computer Science : Modelling and Reasoning about Systems Product ID : 9780521543101

R 76000

UCount rewards  7600
Available online only
In stock
7 - 10 working days

Online Exclusive

This product is exclusive to online shopping and may only be purchased online as it is not stocked in-store.

3RD PARTY ITEM

This is supplied by BalaKuduPtyLtd and may result in additional delivery fees.

Recent years have seen the development of powerful tools for verifying hardware and software systems, as companies worldwide realise the need for improved means of validating their products. There is increasing demand for training in basic methods in formal reasoning so that students can gain proficiency in logic-based verification methods. The second edition of this successful textbook addresses both those requirements, by continuing 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 to the first edition have been made throughout, with extra and expanded sections on SAT solvers, existential/universal second-order logic, micro-models, programming by contract and total correctness. The coverage of model-checking has been substantially updated. Further exercises have been added. Internet support for the book includes worked solutions for all exercises for teachers, and model solutions to some exercises for students.

Features
Model
9780521543101
Product/Packaging Information
Product Weight
0.75 kg
Product Dimensions
247mm(L) x 175mm(W) x 21mm(H)
Shipping Weight
0.75 kg
Shipping Dimensions
247mm(L) x 175mm(W) x 21mm(H)

    Write a review

    Share your opinions about this product with other Makro shoppers.

    Do not use offensive language

    Do not disclose your, or others', personal information
    0

    By submitting this review, you agree to the terms and conditions. Makro retains full discretion whether to publish your review.

    Contact us if you are unsatisfied with the item that you have received.