Placeholder text

Go to cart

Logic in Computer Science: Modelling and Reasoning about Systems

By Michael Huth

Logic in Computer Science: Modelling and Reasoning about Systems Computer Science

Logic in Computer Science: Modelling and Reasoning about Systems

Only 1 item left in stock
Description
The second edition of this successful textbook continues to provide a clear introduction to formal reasoning relevant to the needs of modern computer science and sufficiently exacting for practical applications. Improvements have been made throughout with many new and expanded text sections. The coverage of model-checking has been substantially updated and additional exercises are included. Internet support includes worked solutions for teacher exercises and model solutions to some student exercises. First Edition Hb (2000): 0-521-65200-6 First Edition Pb (2000): 0-521-65602-8
Product details
Binding:
Paperback
Edition:
2
Number of Pages:
442
Release Date:
2004-08-26
Publication Date:
2004-08-26
Publisher:
Cambridge University Press
Languages:
Published: English, Original: English
ISBN10:
0541743104052154310X
ISBN13:
9780521543101
Weight:
930 g
Height:
24.6 cm
Width:
17.3 cm
Thickness:
2.5 cm
Buy on Amazon

Condition

Show more

Show less
Very good
Almost no signs of wear. Book pages have no markings, accessories are intact and all other media are in good condition.
Available immediately
€34,59

Incl. VAT, plus shipping costs

PayPal
Visa
Mastercard
American Express
Only 1 item left in stock

Verified second-hand article

Verified second-hand item

Free shipping from 19€

€34,59