Logic in Computer Science Modelling and Reasoning About Systems
Author:Huth, Michael, Ryan, Mark
ISBN-13:
9780521543101
ISBN:
052154310X
Edition: 2
Pub Date: 2004
Publisher: Cambridge Univ Pr
Summary: Addressing the needs of students, this text provides a sound basis in logic, and an introduction to the logical frameworks used in modelling, specifying and verifying computer systems.
Marketplace Prices
- Rent $15.00
- Used $24.27
- New $63.78
- Alternate $19.61
Product Details
ISBN-13:
ISBN:
Edition: 2nd
Pub Date: 2004
Publisher: Cambridge Univ Pr
9780521543101
ISBN:
052154310X
Edition: 2nd
Pub Date: 2004
Publisher: Cambridge Univ Pr
Where's My Stuff?
- Track your recent orders.
Shipping & Returns
- See our shipping rates & policies.
- Return an item (here's our Return Policy).
Need Help?


