1. Logic in Computer Science: Modelling and Reasoning About Systems
by Huth, Michael 
Price: USD 5.17
Dealer: Alibris, Valleys Books & More via Alibris
Description: This paperback book shows normal wear and tear. Shipped to you from Goodwill of the Valleys, Roanoke VA. Thank you for your support! 

2. Logic in Computer Science: Modelling and Reasoning About Systems
by Huth, Michael 
Price: USD 5.19
Dealer: Alibris, HPB-Red via Alibris
Description: Cambridge University Press 2004 Paperback Good Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority! 

3. Logic in Computer Science: Modelling and Reasoning About Systems
by Huth, Michael 
Price: USD 5.20
Dealer: Alibris, HPB-Red via Alibris
Description: Cambridge University Press 2004 Paperback Good Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority! 

4. Logic in Computer Science: Modelling and Reasoning about Systems
by Huth, Michael 
Price: USD 5.20
Dealer: Abebooks, HPB-Red
Description: ISBN10: 052154310X, ISBN13: 9780521543101, [publisher: Cambridge University Press] Softcover Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority! [Dallas, TX, U.S.A.] [Publication Year: 2004]  

5. Logic in Computer Science: Modelling and Reasoning about Systems
by Huth Michael 
Price: USD 8.58
Dealer: Biblio, World of Books Ltd
Description: Paperback. Very Good. ISBN 052154310X 9780521543101 [GB] 

6. Logic in Computer Science : Modelling and Reasoning about Systems
by Huth, Michael, Ryan, Mark 
Price: USD 9.47
Dealer: ZVAB, Better World Books
Description: ISBN10: 052154310X, ISBN13: 9780521543101, [publisher: Cambridge University Press] Softcover Used book that is in clean, average condition without any missing pages. [Mishawaka, IN, U.S.A.] [Publication Year: 2004]  

7. Logic in Computer Science : Modelling and Reasoning about Systems
by Huth, Michael, Ryan, Mark 
Price: USD 9.85
Dealer: Abebooks, Better World Books
Description: ISBN10: 052154310X, ISBN13: 9780521543101, [publisher: Cambridge University Press] Softcover Used book that is in clean, average condition without any missing pages. [Mishawaka, IN, U.S.A.] [Publication Year: 2004]  

8. Logic in Computer Science: Modelling and Reasoning About Systems
by Huth, M. 
Price: USD 9.92
Dealer: ZVAB, Anybook.com
Description: ISBN10: 052154310X, ISBN13: 9780521543101, [publisher: Cambridge University Press] Softcover This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. With usual stamps and markings, In fair condition, suitable as a study copy. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,850grams, ISBN:9780521543101 [Lincoln, United Kingdom] [Publication Year: 2004]  

9. Logic in Computer Science: Modelling and Reasoning About Systems
by Huth M. 
Price: USD 10.43
Dealer: Biblio, Anybook.com
Description: Cambridge University Press, Date: 2004. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. With usual stamps and markings, In fair condition, suitable as a study copy. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,850grams, ISBN:9780521543101 2004. Cambridge University Press ISBN 052154310x 9780521543101 [GB] 

10. Logic in Computer Science: Modelling and Reasoning About Systems
by Huth, M. 
Price: USD 10.63
Dealer: AbebooksUK, Anybook.com
Description: ISBN10: 052154310X, ISBN13: 9780521543101, [publisher: Cambridge University Press] Softcover This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. With usual stamps and markings, In fair condition, suitable as a study copy. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,850grams, ISBN:9780521543101 [Lincoln, United Kingdom] [Publication Year: 2004]  

11. Logic in Computer Science : Modelling and Reasoning about Systems
by Huth Michael Ryan Mark 
Price: USD 10.89
Dealer: Biblio, Better World Books
Description: Cambridge University Press. Used - Good. Used book that is in clean, average condition without any missing pages. Cambridge University Press ISBN 052154310x 9780521543101 [US] 

12. Logic in Computer Science: Modelling and Reasoning About Systems
by Huth, Michael 
Price: USD 11.09
Dealer: Alibris, BooksRun via Alibris
Description: Cambridge University Press 2 Good Ship within 24hrs. Satisfaction 100% guaranteed. APO/FPO addresses supported. 

13. Logic in Computer Science: Modelling and Reasoning about Systems
by Huth, Michael 
Price: USD 11.46
Dealer: ZVAB, BooksRun
Description: ISBN10: 052154310X, ISBN13: 9780521543101, [publisher: Cambridge University Press (edition 2)] Softcover Ship within 24hrs. Satisfaction 100% guaranteed. APO/FPO addresses supported [Philadelphia, PA, U.S.A.] [Publication Year: 2004]  

14. Logic in Computer Science: Modelling and Reasoning about Systems
by Huth Michael 
Price: USD 11.92
Dealer: Biblio, BooksRun
Description: Cambridge University Press. 2. Good. Good. Ship within 24hrs. Satisfaction 100% guaranteed. APO/FPO addresses supported Cambridge University Press ISBN 052154310x 9780521543101 [US] 

15. Logic in Computer Science: Modelling and Reasoning about Systems
by Huth, Michael 
Price: USD 11.92
Dealer: Abebooks, BooksRun
Description: ISBN10: 052154310X, ISBN13: 9780521543101, [publisher: Cambridge University Press (edition 2)] Softcover Ship within 24hrs. Satisfaction 100% guaranteed. APO/FPO addresses supported [Philadelphia, PA, U.S.A.] [Publication Year: 2004]  

16. Logic in Computer Science: Modelling and Reasoning About Systems
by Huth, M. 
Price: USD 12.92
Dealer: ZVAB, Anybook.com
Description: ISBN10: 052154310X, ISBN13: 9780521543101, [publisher: Cambridge University Press] Softcover This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. In good all round condition. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,850grams, ISBN:9780521543101 [Lincoln, United Kingdom] [Publication Year: 2005]  

17. Logic in Computer Science: Modelling and Reasoning about Systems
by Huth Michael 
Price: USD 13.01
Dealer: Biblio, Ergodebooks
Description: Brand: Cambridge University Press, Date: 2004-08-26. 2. paperback. Used: Good. 2004. Brand: Cambridge University Press ISBN 052154310X 9780521543101 [US] 

18. Logic in Computer Science by Huth Michael
Price: USD 13.35
Dealer: Biblio, Pentz Booksellers
Description: ISBN: 9780521543101Cambridge University Press, 01 January 2004Paperback, 427 pagesRecent years have seen the development of powerful tools for verifying hardware and software systems, as companies worldwide realise the need for improved means of validating their products. There is increasing demand for training in basic methods in formal reasoning so that students can gain proficiency in logic-based verification methods. The second edition of this successful textbook addresses both those requirements, by continuing to provide a clear introduction to formal reasoning which is both relevant to the needs of modern computer science and rigorous enough for practical application. Improvements to the first edition have been made throughout, with extra and expanded sections on SAT solvers, existential/universal second-order logic, micro-models, programming by contract and total correctness. The coverage of model-checking has been substantially updated. Further exercises have been added. Internet support for the book includes worked solutions for all exercises for teachers, and model solutions to some exercises for students. ISBN 052154310x 9780521543101 [ZA] 

19. Logic in Computer Science: Modelling and Reasoning About Systems
by Huth M. 
Price: USD 13.59
Dealer: Biblio, Anybook.com
Description: Cambridge University Press, Date: 2005. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. In good all round condition. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,850grams, ISBN:9780521543101 2005. Cambridge University Press ISBN 052154310x 9780521543101 [GB] 

20. Logic in Computer Science: Modelling and Reasoning About Systems
by Huth, M. 
Price: USD 13.84
Dealer: AbebooksUK, Anybook.com
Description: ISBN10: 052154310X, ISBN13: 9780521543101, [publisher: Cambridge University Press] Softcover This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. In good all round condition. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,850grams, ISBN:9780521543101 [Lincoln, United Kingdom] [Publication Year: 2005]  

21. Logic in Computer Science: Modelling and Reasoning about Systems
by Huth, Michael 
Price: USD 15.97
Dealer: Abebooks, Irish Booksellers
Description: ISBN10: 052154310X, ISBN13: 9780521543101, [publisher: Cambridge University Press] Softcover SHIPS FROM USA. Used books have different signs of use and do not include supplemental materials such as CDs, Dvds, Access Codes, charts or any other extra material. All used books might have various degrees of writing, highliting and wear and tear and possibly be an ex-library with the usual stickers and stamps. Dust Jackets are not guaranteed and when still present, they will have various degrees of tear and damage. All images are Stock Photos, not of the actual item. [Portland, ME, U.S.A.] [Publication Year: 2004]  

22. Logic in Computer Science: Modelling and Reasoning about Systems
by Huth, Michael  
Price: USD 18.43
Dealer: AmazonUK, AmazonUK Marketplace
Description: Used - isbn: 052154310X - isbn13: 9780541743109 Cambridge University Press  

23. Logic In Computer Science : Modelling And Reasoning About Systems 2nd ed.
by Huth 
Price: USD 19.00
Dealer: Biblio, Books WorldWide Express
Description: Cambridge. Softcover. Brand New. “International Edition” - ISBN number and front cover may be different, but CONTENTS are same as the US edition. We ship fast via USPS/FedEx/DHL/Aramex Express Services. No shipping to PO BOX, APO, FPO addresses. Kindly provide day time phone number in order to ensure smooth delivery. Printed in black & white in English language. Territorial restrictions may be printed on the book. We may ship from Asian regions for inventory purpose. 100% Customer satisfaction guaranteed!" We use Fast Shipping via DHL/FEDEX/UPS Cambridge ISBN 052154310x 9780521543101 [US] 

24. Logic in Computer Science: Modelling and Reasoning about Systems
by Huth, Michael 
Price: USD 19.68
Dealer: ZVAB, WeBuyBooks
Description: ISBN10: 052154310X, ISBN13: 9780521543101, [publisher: Cambridge University Press] Softcover Most items will be dispatched the same or the next working day. [Rossendale, LANCS, United Kingdom] [Publication Year: 2004]  

25. Logic in Computer Science: Modelling and Reasoning about Systems
by Huth, Michael 
Price: USD 21.09
Dealer: AbebooksUK, WeBuyBooks
Description: ISBN10: 052154310X, ISBN13: 9780521543101, [publisher: Cambridge University Press] Softcover Most items will be dispatched the same or the next working day. [Rossendale, LANCS, United Kingdom] [Publication Year: 2004]  

26. Logic in Computer Science: Modelling and Reasoning About Systems
by Huth, Michael 
Price: USD 25.79
Dealer: Alibris, SurplusTextSeller via Alibris
Description: Good Ships in a BOX from Central Missouri! May not include working access code. Will not include dust jacket. Has used sticker(s) and some writing or highlighting. UPS shipping for most packages, (Priority Mail for AK/HI/APO/PO Boxes). 

27. Logic in Computer Science: Modelling and Reasoning about Systems
by Huth, Michael 
Price: USD 25.79
Dealer: Abebooks, Textbooks_Source
Description: ISBN10: 052154310X, ISBN13: 9780521543101, [publisher: Cambridge University Press] Softcover Ships in a BOX from Central Missouri! May not include working access code. Will not include dust jacket. Has used sticker(s) and some writing or highlighting. UPS shipping for most packages, (Priority Mail for AK/HI/APO/PO Boxes). [Columbia, MO, U.S.A.] [Publication Year: 2004]  

28. Logic in Computer Science: Modelling and Reasoning about Systems
by Huth, Michael 
Price: USD 26.34
Dealer: Abebooks, Wizard Books
Description: ISBN10: 052154310X, ISBN13: 9780521543101, [publisher: Cambridge University Press] Softcover Used [Long Beach, CA, U.S.A.] [Publication Year: 2004]  

29. Logic in Computer Science: Modelling and Reasoning About Systems
by Huth, M. 
Price: USD 26.66
Dealer: Alibris, Anybook.com via Alibris
Description: Cambridge University Press 2004 This is an ex-library book and may have the usual library/used-book markings inside. This book has soft covers. With usual stamps and markings, In fair condition, suitable as a study copy. Please note the Image in this listing is a stock photo and may not match the covers of the actual item, 850grams, ISBN: 9780521543101. 

30. Logic in Computer Science: Modelling and Reasoning about Systems
by Huth, Michael 
Price: USD 27.07
Dealer: Abebooks, Books of the Smoky Mountains
Description: ISBN10: 052154310X, ISBN13: 9780521543101, [publisher: Cambridge University Press] Softcover Slightly Used Copy [Del Rio, TN, U.S.A.] [Publication Year: 2004]  

31. Logic in Computer Science: Modelling and Reasoning about Systems
by Huth, Michael 
Price: USD 27.10
Dealer: Abebooks, Byrd Books
Description: ISBN10: 052154310X, ISBN13: 9780521543101, [publisher: Cambridge University Press] Softcover In Used Condition [Austin, TX, U.S.A.] [Publication Year: 2004]  

32. Logic in Computer Science: Modelling and Reasoning about Systems
by Huth, Michael 
Price: USD 27.97
Dealer: Abebooks, GF Books, Inc.
Description: ISBN10: 052154310X, ISBN13: 9780521543101, [publisher: Cambridge University Press] Softcover Book is in Used-Good condition. Pages and cover are clean and intact. Used items may not include supplementary materials such as CDs or access codes. May show signs of minor shelf wear and contain limited notes and highlighting. [Hawthorne, CA, U.S.A.] [Publication Year: 2004]  

33. Logic in Computer Science: Modelling and Reasoning about Systems
by Huth, Michael 
Price: USD 28.35
Dealer: Abebooks, GoldBooks
Description: ISBN10: 052154310X, ISBN13: 9780521543101, [publisher: Cambridge University Press] Softcover Very Good Copy. Customer Service Guaranteed [Denver, CO, U.S.A.] [Publication Year: 2004]  

34. Logic in Computer Science: Modelling and Reasoning About Systems
by Huth, M. 
Price: USD 29.80
Dealer: Alibris, Anybook.com via Alibris
Description: Cambridge University Press 2005 This is an ex-library book and may have the usual library/used-book markings inside. This book has soft covers. In good all round condition. Please note the Image in this listing is a stock photo and may not match the covers of the actual item, 850grams, ISBN: 9780521543101. 

35. Logic in Computer Science: Modelling and Reasoning about Systems, 2nd edition
by Huth, Michael 
Price: USD 29.95
Dealer: Abebooks, Sizzler Texts
Description: ISBN10: 052154310X, ISBN13: 9780521543101, [publisher: Cambridge University Press] Softcover **INTERNATIONAL EDITION** Read carefully before purchase: This book is the international edition in mint condition with the different ISBN and book cover design, the major content is printed in full English as same as the original North American edition. The book printed in black and white, generally send in twenty-four hours after the order confirmed. All shipments go through via USPS/UPS/DHL with tracking numbers. Great professional textbook selling experience and expedite shipping service. [South Pasadena, CA, U.S.A.] [Publication Year: 2004]  

36. Logic in Computer Science 2ed
by Michael Huth, Mark Ryan 
Price: USD 32.38
Dealer: ZVAB, Buchpark
Description: ISBN10: 052154310X, ISBN13: 9780521543101, [publisher: Cambridge University Press] Softcover Zustand: Gut - Gebrauchs- und Lagerspuren. Außen: angestoßen. Innen: Notizen / Markierungen. [Trebbin, Germany] [Publication Year: 2019]  

37. Logic in Computer Science: Modelling and Reasoning about Systems, 2nd
by Huth, Michael, and Ryan, Mark 
Price: USD 34.97
Dealer: Alibris, Aideo Textbook via Alibris
Description: Cambridge Cambridge University Press 2004 2nd ed. INTERNATIONAL EDITION Trade paperback New in new dust jacket. Trade paperback (US). Glued binding. 440 p. Audience: General/trade. ***INTERNATIONAL EDITION*** Read carefully before purchase: This book is the international edition in mint condition with the different ISBN and book cover design, the major content is printed in full English as same as the original North American edition. The book printed in black and white, generally send in twenty-four hours after the order confirmed. All shipments contain tracking numbers. Great professional textbook selling experience and expedite shipping service. 

38. Logic in Computer Science: Modelling and Reasoning about Systems, 2nd
by Huth, Michael 
Price: USD 34.97
Dealer: Abebooks, Aideo Books
Description: ISBN10: 052154310X, ISBN13: 9780521543101, [publisher: Cambridge University Press] Softcover ***INTERNATIONAL EDITION*** Read carefully before purchase: This book is the international edition in mint condition with the different ISBN and book cover design, the major content is printed in full English as same as the original North American edition. The book printed in black and white, generally send in twenty-four hours after the order confirmed. All shipments contain tracking numbers. Great professional textbook selling experience and expedite shipping service. [San Marino, CA, U.S.A.] [Publication Year: 2004]  

39. Logic in Computer Science: Modelling and Reasoning about Systems
by Michael Huth 
Price: USD 34.98
Dealer: Biblio, Newzealand Worldbooks
Description: ***INTERNATIONAL EDITION*** Read carefully before purchase: This book is the international edition in mint condition with the different ISBN and book cover design, the major content is printed in full English as same as the original North American edition. The book printed in black and white, generally send in twenty-four hours after the order confirmed. All shipments contain tracking numbers. Great professional textbook selling experience and expedite shipping service. Cambridge University Press ISBN 052154310X 9780521543101 [HK] 

40. Logic in Computer Science 2ed
by Michael Huth, Mark Ryan 
Price: USD 35.73
Dealer: AbebooksDE, Buchpark
Description: ISBN10: 052154310X, ISBN13: 9780521543101, [publisher: Cambridge University Press] Softcover Zustand: Gut - Gebrauchs- und Lagerspuren. Außen: angestoßen. Innen: Notizen / Markierungen. [Trebbin, Germany] [Publication Year: 2019]  

41. Logic in Computer Science: Modelling and Reasoning about Systems
by Huth, Michael, and Ryan, Mark 
Price: USD 46.55
Dealer: Alibris, GreatBookPrices via Alibris
Description: Cambridge Cambridge University Press 2004 2nd Revised ed. Trade paperback Good. Trade paperback (US). Glued binding. 440 p. Contains: Unspecified, Tables. May show signs of wear, highlighting, writing, and previous use. This item may be a former library book with typical markings. No guarantee on products that contain supplements Your satisfaction is 100% guaranteed. Twenty-five year bookseller with shipments to over fifty million happy customers. 

42. Logic in Computer Science: Modelling and Reasoning about Systems
by Huth, Michael 
Price: USD 48.49
Dealer: Abebooks, GoldenWavesOfBooks
Description: ISBN10: 052154310X, ISBN13: 9780521543101, [publisher: Cambridge University Press] Softcover New. Fast Shipping and good customer service [Fayetteville, TX, U.S.A.] [Publication Year: 2004]  

43. Logic in Computer Science: Modelling and Reasoning about Systems
by Huth, Michael, and Ryan, Mark 
Price: USD 48.60
Dealer: Alibris, GreatBookPricesLB2 via Alibris
Description: Cambridge Cambridge University Press 2004 2nd Revised ed. Trade paperback Good. Trade paperback (US). Glued binding. 440 p. Contains: Unspecified, Tables. May show signs of wear, highlighting, writing, and previous use. This item may be a former library book with typical markings. No guarantee on products that contain supplements Your satisfaction is 100% guaranteed. Twenty-five year bookseller with shipments to over fifty million happy customers. 

44. Logic in Computer Science: Modelling and Reasoning about Systems
by Huth, Michael 
Price: USD 49.14
Dealer: Abebooks, Front Cover Books
Description: ISBN10: 052154310X, ISBN13: 9780521543101, [publisher: Cambridge University Press] Softcover [Denver, CO, U.S.A.] [Publication Year: 2004]  

45. Logic in Computer Science: Modelling and Reasoning about Systems
by Huth, Michael 
Price: USD 49.19
Dealer: Abebooks, GoldBooks
Description: ISBN10: 052154310X, ISBN13: 9780521543101, [publisher: Cambridge University Press] Softcover New Copy. Customer Service Guaranteed [Denver, CO, U.S.A.] [Publication Year: 2004]  

46. Logic in Computer Science: Modelling and Reasoning about Systems
by Huth, Michael 
Price: USD 49.75
Dealer: Abebooks, LibraryMercantile
Description: ISBN10: 052154310X, ISBN13: 9780521543101, [publisher: Cambridge University Press] Softcover [Humble, TX, U.S.A.] [Publication Year: 2004]  

47. Logic in Computer Science: Modelling and Reasoning about Systems
by Huth, Michael, and Ryan, Mark 
Price: USD 49.79
Dealer: Alibris, GreatBookPrices- via Alibris
Description: Cambridge Cambridge University Press 2004 2nd Revised ed. Trade paperback Good. Trade paperback (US). Glued binding. 440 p. Contains: Unspecified, Tables. May show signs of wear, highlighting, writing, and previous use. This item may be a former library book with typical markings. No guarantee on products that contain supplements Your satisfaction is 100% guaranteed. Twenty-five year bookseller with shipments to over fifty million happy customers. 

48. Logic in Computer Science: Modelling and Reasoning about Systems
by Huth, Michael 
Price: USD 52.07
Dealer: Abebooks, Wizard Books
Description: ISBN10: 052154310X, ISBN13: 9780521543101, [publisher: Cambridge University Press] Softcover New [Long Beach, CA, U.S.A.] [Publication Year: 2004]  

49. Logic in Computer Science: Modelling and Reasoning about Systems
by Huth, Michael 
Price: USD 52.71
Dealer: Abebooks, GoldenDragon
Description: ISBN10: 052154310X, ISBN13: 9780521543101, [publisher: Cambridge University Press] Softcover Buy for Great customer experience [Houston, TX, U.S.A.] [Publication Year: 2004]  

50. Logic in Computer Science: Modelling and Reasoning about Systems
by Huth, Michael 
Price: USD 53.09
Dealer: Abebooks, Hafa Adai Books
Description: ISBN10: 052154310X, ISBN13: 9780521543101, [publisher: Cambridge University Press] Softcover [Moncks Corner, SC, U.S.A.] [Publication Year: 2004]