Join thousands of book lovers
Sign up to our newsletter and receive discounts and inspiration for your next reading experience.
By signing up, you agree to our Privacy Policy.You can, at any time, unsubscribe from our newsletters.
Logic in Computer Science
- Modelling and Reasoning about Systems
- Binding:
- Paperback
- Pages:
- 440
- Published:
- August 25, 2004
- Edition:
- 2
- Dimensions:
- 173x246x22 mm.
- Weight:
- 804 g.
In stock
Delivery:
3-5 business days
Expected delivery: November 30, 2024
About Michael (Imperial College of Science Huth
View all books by Michael (Imperial College of Science HuthDescription of Logic in Computer Science
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.
User ratings of Logic in Computer Science
Rate this book
In order to rate this book you must be logged in.Others also bought..
Find similar books
The book Logic in Computer Science can be found in the following categories:
You can, at any time, unsubscribe from our newsletters.
© 2024 Tales
All packages are shipped from our warehouse in the UK.
Company address: Esromgade 15, 3. - 2200 - DK
Registered company number: DK43351621
