Introduction to logic and the logical frameworks used in modelling, specifying and verifying computer systems.
Read More
Introduction to logic and the logical frameworks used in modelling, specifying and verifying computer systems.
Read Less
Book Details
Seller
Sort
U.K./EUR Sellers
Price: Low to High
Price: High to Low
Condition
Condition: Reverse
Pub Date
Pub Date: Reverse
Sellers Near Me
Hardcover,
New
2000, Cambridge University Press
ISBN-13:
9780521652001
See Item Details ▾
Just one more Chapter
HIGH
Miramar,
FL,
USA
£340.69
Add to Basket
Add this copy of Logic in Computer Science: Modelling and Reasoning to cart. £340.69, new condition, Sold by Just one more Chapter rated 4.0 out of 5 stars, ships from Miramar, FL, UNITED STATES, published 2000 by Cambridge University Press.
Edition: 2000, Cambridge University Press
Hardcover,
New
Details: ISBN:
0521652006
ISBN-13:
9780521652001
Pages:
405
Publisher:
Cambridge University Press
Published:
2000
Language:
English
Alibris ID:
18579843258
Shipping Options: Standard Shipping: £3.99
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description: New.
Hide Details ▴
ISBN-13: 9780521652001
Hardcover
