Logic in Computer Science 2ed

Name: Logic in Computer Science 2ed
Brand: Cambridge University Press
SKU: 9780521543101-V
Price: 25.89 EUR
Availability: InStock
Rating: 5 (1 reviews)

By Michael Huth

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
Languages:: Original: English
Number of Pages:: 442
Publisher:: Cambridge University Press
Publication Date:: 2019-03-22
Release Date:: 2004-08-26
ISBN / EAN:: 9780521543101
Weight:: 849 g
Dimensions:: 19/25/2 cm

Buy on Amazon

Condition

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.

Used - very good €25,89

Used - good €20,49

Available immediately

€25,89

Incl. VAT, plus shipping costs

Add to Wishlist

Only 1 item left in stock

Verified second-hand article

Verified second-hand item

Free shipping from 19€

€25,89