Share
Logic in Computer Science 2nd Edition Paperback: Modelling and Reasoning About Systems
Michael Huth
(Author)
·
Mark Ryan
(Author)
·
Cambridge University Press
· Paperback
Logic in Computer Science 2nd Edition Paperback: Modelling and Reasoning About Systems - Huth, Michael ; Ryan, Mark
Choose the list to add your product or create one New List
✓ Product added successfully to the Wishlist.
Go to My Wishlists
Origin: U.S.A.
(Import costs included in the price)
It will be shipped from our warehouse between
Thursday, July 11 and
Thursday, July 18.
You will receive it anywhere in United Kingdom between 1 and 3 business days after shipment.
Synopsis "Logic in Computer Science 2nd Edition Paperback: Modelling and Reasoning About Systems"
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
- 0% (0)
- 0% (0)
- 0% (0)
- 0% (0)
- 0% (0)
All books in our catalog are Original.
The book is written in English.
The binding of this edition is Paperback.
✓ Producto agregado correctamente al carro, Ir a Pagar.