Logic in Computer Science
MichaelRyan Huth
9780521543101
onload="displayBookAvailableStatusC()"/>
Rating:
Rs. 46750.00
Delivery in 25 - 45 working days
Covid-19 Notice
Due to the current situation the Delivey will be delayed than the standard shipping period (21 working days)
Call our hotline 011 7 463 463
Additional Information
Add to wishlist
| Author(s) :- MichaelRyan Huth | Format :- Paperback |
| Publisher :- Cambridge University Press | Pub. Date :- 2004-08-26 |
| ISBN-13 :- 9780521543101 | |
| Edition:- 2 Revised edition | |
| Dimensions :- 246 x 173 x 22 | |
| Weight :- 792 |
Description
Provides a sound basis in logic, and introduces logical frameworks used in modelling, specifying and verifying computer systems.
