An edition of Logic in Computer Science: Modelling and Reasoning about Systems (1999)

Logic in Computer Science

Modelling and Reasoning about Systems

2 edition

by

Cover of: Logic in Computer Science by Mark Ryan, Michael Huth, Mark Ryan
Not in Library

My Reading Lists:

Create a new list

Check-In

×Close
Add an optional check-in date. Check-in dates are used to track yearly reading goals.
Today
Notes
Notes

Check nearby libraries

Buy this book

Last edited by MARC Bot
October 6, 2024 | History
Edit
An edition of Logic in Computer Science: Modelling and Reasoning about Systems (1999)

Logic in Computer Science

Modelling and Reasoning about Systems

2 edition

by

This edition doesn't have a description yet. Can you add one?

Publish Date
Publisher
Cambridge University Press
Language
English
Pages
440

Check nearby libraries

Buy this book

Subjects

Logic programming, Computer logic, Computers & the internet, Computer science, Qa76.9.l63 h88 1999
Edition Availability
Cover of: Logic in Computer Science
Logic in Computer Science: Modelling and Reasoning about Systems
August 30, 2004, Cambridge University Press
Paperback in English - 2 edition
  • Not in Library
Libraries near you: WorldCat
Cover of: Logic in Computer Science
Logic in Computer Science: Modelling and Reasoning about Systems
January 2000, Cambridge University Press
Hardcover in English
Libraries near you: WorldCat
Cover of: Logic in Computer Science
Logic in Computer Science: Modelling and Reasoning about Systems
November 1, 1999, Cambridge University Press
Paperback in English
Libraries near you: WorldCat
Cover of: Logic in Computer Science
Logic in Computer Science: Modelling and Reasoning about Systems
Publish date unknown, Cambridge University Press
Hardcover in English - 2 edition
Libraries near you: WorldCat

Add another edition?

Book Details

The Physical Object

Format
Paperback
Number of pages
440
Dimensions
9.7 x 6.9 x 0.8 inches
Weight
2 pounds

ID Numbers

Open Library
OL7745608M
ISBN 10
052154310X
ISBN 13
9780521543101
OCLC/WorldCat
855545075
Library Thing
115447
Goodreads
151847

Source records

Library of Congress MARC record
ISBNdb
harvard_bibliographic_metadata record

Community Reviews (0)

Feedback?
No community reviews have been submitted for this work.

Lists

This work does not appear on any lists.

History

Download catalog record: RDF / JSON / OPDS | Wikipedia citation
October 6, 2024 Edited by MARC Bot import existing book
December 19, 2023 Edited by ImportBot import existing book
September 8, 2023 Edited by AgentSapphire undo merge authors
September 8, 2023 Edited by AgentSapphire undo merge authors
April 29, 2008 Created by an anonymous user Imported from amazon.com record