Share
Logic in Computer Science 2nd Edition Paperback: Modelling and Reasoning About Systems (in English)
Michael Huth
(Author)
·
Mark Ryan
(Author)
·
Cambridge University Press
· Paperback
Logic in Computer Science 2nd Edition Paperback: Modelling and Reasoning About Systems (in English) - Huth, Michael ; Ryan, Mark
$ 65.31
$ 72.99
You save: $ 7.68
Choose the list to add your product or create one New List
✓ Product added successfully to the Wishlist.
Go to My WishlistsIt will be shipped from our warehouse between
Tuesday, May 28 and
Wednesday, May 29.
You will receive it anywhere in United States between 1 and 3 business days after shipment.
Synopsis "Logic in Computer Science 2nd Edition Paperback: Modelling and Reasoning About Systems (in English)"
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.