Skip to content

Logic in Computer Science: Modelling and Reasoning about Systems
Stock Photo: Cover May Be Different

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

by Michael Huth; Mark Ryan


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
  • 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)
  • Library of Congress subjects Computer logic
  • Library of Congress Catalog Number 99015233
  • Dewey Decimal Code NA
Back to Top

More Copies for Sale

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
Used - Very Good
Binding
Paperback
ISBN 10 / ISBN 13
9780521656023 / 0521656028
Quantity Available
1
Seller
GORING BY SEA, West Sussex, United Kingdom
Seller rating:
This seller has earned a 2 of 5 Stars rating from Biblio customers.
Item Price
A$5.08
A$16.68 shipping to USA

Show Details

Description:
Paperback. Very Good.
Item Price
A$5.08
A$16.68 shipping to USA
Logic in Computer Science: Modelling and Reasoning About Systems
Stock Photo: Cover May Be Different

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
Lincoln, Lincolnshire, Aberdeen, United Kingdom
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
A$8.48
A$24.81 shipping 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
Item Price
A$8.48
A$24.81 shipping to USA
Logic in Computer Science : Modelling and Reasoning about Systems
Stock Photo: Cover May Be Different

Logic in Computer Science : Modelling and Reasoning about Systems

by Huth, Michael, Ryan, Mark

  • Used
Condition
Used - Good
ISBN 10 / ISBN 13
9780521656023 / 0521656028
Quantity Available
1
Seller
Dunfermline, Fife, United Kingdom
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
A$9.62
A$15.69 shipping to USA

Show Details

Description:
Cambridge University Press. Used - Good. Ships from the UK. Used book that is in clean, average condition without any missing pages.
Item Price
A$9.62
A$15.69 shipping to USA
Logic in Computer Science : Modelling and Reasoning about Systems
Stock Photo: Cover May Be Different

Logic in Computer Science : Modelling and Reasoning about Systems

by Huth, Michael, Ryan, Mark

  • Used
Condition
Used - Very Good
ISBN 10 / ISBN 13
9780521656023 / 0521656028
Quantity Available
1
Seller
Mishawaka, Indiana, United States
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
A$14.21
FREE shipping to USA

Show Details

Description:
Cambridge University Press. Used - Very Good. Former library book; may include library markings. Used book that is in excellent condition. May show signs of wear or have minor defects.
Item Price
A$14.21
FREE shipping 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
  • good
  • Paperback
Condition
Used - Good
Binding
Paperback
ISBN 10 / ISBN 13
9780521656023 / 0521656028
Quantity Available
1
Seller
Seattle, Washington, United States
Seller rating:
This seller has earned a 4 of 5 Stars rating from Biblio customers.
Item Price
A$19.88
FREE shipping to USA

Show Details

Description:
Cambridge University Press, 1999. Paperback. Good. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less.Dust jacket quality is not guaranteed.
Item Price
A$19.88
FREE shipping 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
Used - Very Good
Binding
Paperback
ISBN 10 / ISBN 13
9780521656023 / 0521656028
Quantity Available
1
Seller
Seattle, Washington, United States
Seller rating:
This seller has earned a 4 of 5 Stars rating from Biblio customers.
Item Price
A$19.88
FREE shipping 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.
Item Price
A$19.88
FREE shipping to USA
Logic in Computer Science: Modelling and Reasoning about Systems
Stock Photo: Cover May Be Different

Logic in Computer Science: Modelling and Reasoning about Systems

by Michael Huth; Mark Ryan

  • Used
  • good
  • Paperback
Condition
Used - Good
Binding
Paperback
ISBN 10 / ISBN 13
9780521656023 / 0521656028
Quantity Available
1
Seller
HOUSTON, Texas, United States
Seller rating:
This seller has earned a 4 of 5 Stars rating from Biblio customers.
Item Price
A$26.26
FREE shipping to USA

Show Details

Description:
Cambridge University Press, 1999-12-28. Paperback. Good.
Item Price
A$26.26
FREE shipping to USA
Logic in Computer Science: Modelling and Reasoning about Systems

Logic in Computer Science: Modelling and Reasoning about Systems

by Michael Huth; Mark Ryan

  • Used
  • very good
  • Paperback
Condition
Used - Very Good
Binding
Paperback
ISBN 10 / ISBN 13
9780521656023 / 0521656028
Quantity Available
1
Seller
Newtown, New South Wales, Australia
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
A$37.50
A$35.00 shipping to USA

Show Details

Description:
Cambridge, U.K.: Cambridge University Press, 1999 The cover has a little wear, with minor foxing. The pages edges are lightly foxed. 387 pages. Books listed here are not stored at the shop. Please contact us if you want to pick up a book from Newtown.. Paperback. Very Good.
Item Price
A$37.50
A$35.00 shipping to USA
Logic in Computer Science
Stock Photo: Cover May Be Different

Logic in Computer Science

by M. Ryan M. Huth Mark Ryan Michael Huth

  • Used
Condition
Used
ISBN 10 / ISBN 13
9780521656023 / 0521656028
Quantity Available
1
Seller
Woodside, New York, United States
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
A$75.52
A$6.26 shipping to USA

Show Details

Description:
Cambridge University Press CUP , pp. 405 . Papeback. Used.
Item Price
A$75.52
A$6.26 shipping to USA
Logic in Computer Science: Modelling and Reasoning about Systems
Stock Photo: Cover May Be Different

Logic in Computer Science: Modelling and Reasoning about Systems

by Huth, Michael; Ryan, Mark

  • New
  • Paperback
Condition
New
Binding
Paperback
ISBN 10 / ISBN 13
9780521656023 / 0521656028
Quantity Available
1
Seller
San Diego, California, United States
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
A$170.91
A$8.55 shipping to USA

Show Details

Description:
Cambridge University Press, 1999-12-28. Paperback. New. New. In shrink wrap. Looks like an interesting title!
Item Price
A$170.91
A$8.55 shipping to USA