Logic in Computer Science: Modelling and Reasoning about Systems - Huth, Michael (Imperial College of Science, Technology and Medicine, London) - Books - Cambridge University Press - 9780521543101 - August 26, 2004
In case cover and title do not match, the title is correct

Huth, Michael (Imperial College of Science, Technology and Medicine, London)
Logic in Computer Science: Modelling and Reasoning about Systems 2 Revised edition

Price
$ 72.49
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jun 2 - 5

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

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.

440 pages, 10 tables 400 exercises

Media Books     Paperback Book   (Book with soft cover and glued back)
Released August 26, 2004
ISBN13 9780521543101
Publishers Cambridge University Press
Pages 440
Dimensions 173 × 246 × 22 mm   ·   804 g
Language English  

Mere med samme udgiver

See all of Huth, Michael (Imperial College of Science, Technology and Medicine, London) ( e.g. Paperback Book )