BIBLIO is the largest independent book marketplace in the world, with over 100 million books.

Skip to content

Logic in Computer Science: Modelling and Reasoning about Systems
Stock photo: cover may vary

Logic in Computer Science: Modelling and Reasoning about Systems Paperback - 1999

by Michael Huth; Mark Ryan

Add to wish list

Reader reviews for Logic in Computer Science: Modelling and Reasoning about Systems

From the publisher

Recent years have seen the development of powerful tools for verifying hardware and software systems, and increasing interest in that technology from major companies. Students need a basic formal training which allows them to gain sufficient proficiency in using logic-based verification methods. This book addresses these needs by providing a sound basis in logic, and an introduction to the logical frameworks used in modelling, specifying and verifying computer systems. It provides a simple and clear presentation, covering propositional and predicate logic, and some specialised logics used for reasoning about the correctness of computer systems. The authors introduce a carefully chosen core of essential terminology: further technicalities are introduced only when necessary. Numerous examples are given, as well as a full exposition of a fast-growing technique for modelling and verifying computer systems, known as symbolic model checking. Numerous examples are given, and web support is available from http: www.cs.bham.ac.uk/research/lics.

Details

  • Title Logic in Computer Science: Modelling and Reasoning about Systems
  • Author Michael Huth; Mark Ryan
  • Binding Paperback
  • Edition Second Printing
  • Pages 405
  • Volumes 1
  • Language ENG
  • Publisher Cambridge University Press
  • Publication date November 1, 1999
  • ISBN 9780521656023 / 0521656028
  • Weight 1.56 lbs (0.71 kg)
  • Dimensions 11 x 8.14 x 2.07 in (27.94 x 20.68 x 5.26 cm)
  • Category Computers - General Information
  • Library of Congress subjects Computer logic
  • Library of Congress Catalogue Number 99015233
  • Dewey Decimal Code NA

More Copies for Sale

Logic in Computer Science: Modelling and Reasoning About Systems
Stock photo: cover may vary

Logic in Computer Science: Modelling and Reasoning About Systems

by Huth, M.

  • Used
  • Paperback
Condition
Used
Binding
Paperback
ISBN 10 / ISBN 13
9780521656023 / 0521656028
Quantity available
1
Seller
Item price
A$8.49
A$27.02 Delivery to USA

Show details

Description:
Cambridge University Press, 1999. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. Clean from 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,800grams, ISBN:9780521656023
Add to wish list
Item price
A$8.49
A$27.02 Delivery to USA
Logic in Computer Science: Modelling and Reasoning about Systems

Logic in Computer Science: Modelling and Reasoning about Systems

by Ryan, Mark

  • Used
  • Very good
  • Paperback
Condition
Very good
Binding
Paperback
ISBN 10 / ISBN 13
9780521656023 / 0521656028
Quantity available
1
Seller
Item price
A$8.86
A$16.72 Delivery to USA

Show details

Description:
Paperback. Very Good.
Add to wish list
Item price
A$8.86
A$16.72 Delivery to USA
Logic in Computer Science : Modelling and Reasoning about Systems
Stock photo: cover may vary

Logic in Computer Science : Modelling and Reasoning about Systems

by Huth, Michael, Ryan, Mark

  • Used
Condition
Used
ISBN 10 / ISBN 13
9780521656023 / 0521656028
Quantity available
2
Seller
Item price
A$20.12
Free Delivery to USA

Show details

Description:
Cambridge University Press. Used - Good. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
Add to wish list
Item price
A$20.12
Free Delivery to USA
Logic in Computer Science: Modelling and Reasoning about Systems

Logic in Computer Science: Modelling and Reasoning about Systems

by Huth, Michael; Ryan, Mark

  • Used
  • Very good
  • Paperback
Condition
Very good
Binding
Paperback
ISBN 10 / ISBN 13
9780521656023 / 0521656028
Quantity available
3
Seller
Item price
A$24.85
Free Delivery to USA

Show details

Description:
Cambridge University Press, 1999. Paperback. Very Good. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.Dust jacket quality is not guaranteed.
Add to wish list
Item price
A$24.85
Free Delivery to USA
Logic in Computer Science: Modelling and Reasoning about Systems
Stock photo: cover may vary

Logic in Computer Science: Modelling and Reasoning about Systems

by Huth, Michael

  • Used
  • Paperback
Condition
Used
Binding
Paperback
ISBN 10 / ISBN 13
9780521656023 / 0521656028
Quantity available
1
Seller
Item price
A$38.18
A$21.78 Delivery to USA

Show details

Description:
Cambridge University Press, 1999-12-28. paperback. Used: Good. 6.89x0.91x9.72. Buy with confidence. Excellent Customer Service & Return policy.
Add to wish list
Item price
A$38.18
A$21.78 Delivery to USA
Logic in Computer Science: Modelling and Reasoning about Systems
Stock photo: cover may vary

Logic in Computer Science: Modelling and Reasoning about Systems

by Ryan, Mark

  • Used
  • Good
  • Paperback
Condition
Good
Binding
Paperback
ISBN 10 / ISBN 13
9780521656023 / 0521656028
Quantity available
1
Seller
Item price
A$67.09
Free Delivery to USA

Show details

Description:
paperback. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book.
Add to wish list
Item price
A$67.09
Free Delivery to USA
Logic in Computer Science Modelling and reasoning about systems
Stock photo: cover may vary

Logic in Computer Science Modelling and reasoning about systems

by Michael R A Huth and Mark D Ryan

  • New
  • Paperback
Condition
New
Binding
Paperback
ISBN 10 / ISBN 13
9780521656023 / 0521656028
Quantity available
500
Seller
Item price
A$224.85
A$21.76 Delivery to USA

Show details

Description:
Cambridge University Press, 2000. Paperback. New.
Add to wish list
Item price
A$224.85
A$21.76 Delivery to USA
Logic in Computer Science Modelling and reasoning about systems
Stock photo: cover may vary

Logic in Computer Science Modelling and reasoning about systems

by Michael R A Huth and Mark D Ryan

  • New
  • Paperback
Condition
New
Binding
Paperback
ISBN 10 / ISBN 13
9780521656023 / 0521656028
Quantity available
500
Seller
Item price
A$224.85
A$21.76 Delivery to USA

Show details

Description:
Cambridge University Press, 2000. Paperback. New.
Add to wish list
Item price
A$224.85
A$21.76 Delivery to USA