Logic in Computer Science

Name: Logic in Computer Science
SKU: 2132436
Price: 184.00 NZD
Availability: InStock

Modelling and Reasoning about Systems

By:

Format:

Paperback / softback

Show Hide Adult Content

$184.00

Available from supplier

Usually ships in 3-4 weeks

0 in Trolley

Price Match

Wrap this item as a gift ($5.90) - add a free gift card on the next page

Free Delivery with Primate

Join Now

Free 14 day free trial, cancel anytime.

Buy Now, Pay Later with:

4 payments of $46.00 with Afterpay Learn more

6 weekly interest-free payments of $30.67 with Laybuy Learn more

Availability

Delivering to:

Estimated arrival:

Around 4-14 June using International Courier

Description

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.

Release date NZ

August 26th, 2004

Author

Audiences

Professional & Vocational
Tertiary Education (US: College)

Edition

2nd Revised edition

Illustrations

Worked examples or Exercises; 10 Tables, unspecified

Pages

440

Dimensions

175x247x21

ISBN-13

9780521543101

Product ID

2132436

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here