You are viewing: Logic in Computer Science

£ 57.11
Add to basket

Logic in Computer Science

Author: Mark (University of Birmingham) Ryan

SKU: 9780521543101 Category:
Quantity Discount Offer
Buy any 2 books Get 5% Off 5%
Buy any 3 books Get 7% Off 7%
Buy any 4 or more books Get 10% Off 10%
Sale!

£ 57.11

83 in 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.

Additional information

Weight 798 g
Author

Mark (University of Birmingham) Ryan

Publisher

Cambridge University Press

Binding

Paperback / softback

ISBN-10

052154310X

Dimensions

246 x 173 x 22

Language

English

Country of Pub

United Kingdom

Book Condition

New

Notes

Worked examples or Exercises; 10 Tables, unspecified

Reviews

There are no reviews yet.

Only logged in customers who have purchased this product may leave a review.