Items related to Logic in Computer Science: Modelling and Reasoning...
The second edition of this successful textbook continues to provide a clear introduction to formal reasoning relevant to the needs of modern computer science and sufficiently exacting for practical applications. Improvements have been made throughout with many new and expanded text sections. The coverage of model-checking has been substantially updated and additional exercises are included. Internet support includes worked solutions for teacher exercises and model solutions to some student exercises. First Edition Hb (2000): 0-521-65200-6 First Edition Pb (2000): 0-521-65602-8
"synopsis" may belong to another edition of this title.
Book Description:
The second edition of this successful textbook continues 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 have been made throughout, with many extra and expanded sections. 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.
From the Author:
The paperback and hardback textbook are supplemented with an on-line tutor at Logic in Computer Science
Ancillary material for instructors and readers can be found on-line at Logic in Computer Science
"About this title" may belong to another edition of this title.
- PublisherCambridge University Press
- Publication date2004
- ISBN 10 052154310X
- ISBN 13 9780521543101
- BindingPaperback
- Edition number2
- Number of pages442
- Rating
Buy New
Learn more about this copy
US$ 34.97
Shipping:
US$ 4.95
Within U.S.A.
Top Search Results from the AbeBooks Marketplace
International Edition
Logic in Computer Science: Modelling and Reasoning about Systems, 2nd
Published by
Cambridge University Press
(2004)
ISBN 10: 052154310X
ISBN 13: 9780521543101
New
Soft cover
Quantity: > 20
Seller:
Rating
Book Description Soft cover. Condition: New. Dust Jacket Condition: New. International Edition. ***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. Seller Inventory # ABE-1609846164827
Buy New
US$ 34.97
Convert currency
International Edition
Logic in Computer Science: Modelling and Reasoning about Systems, 2nd edition
Published by
Cambridge University Press
(2004)
ISBN 10: 052154310X
ISBN 13: 9780521543101
New
Soft cover
Quantity: > 20
Seller:
Rating
Book Description Soft cover. Condition: New. Dust Jacket Condition: New. International Edition. **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. Seller Inventory # ABE-1611142720667
Buy New
US$ 29.95
Convert currency
Stock Image
Logic in Computer Science: Modelling and Reasoning about Systems
Published by
Cambridge University Press
(2004)
ISBN 10: 052154310X
ISBN 13: 9780521543101
New
Paperback
Quantity: 1
Seller:
Rating
Book Description Paperback. Condition: new. New. Fast Shipping and good customer service. Seller Inventory # Holz_New_052154310X
Buy New
US$ 52.62
Convert currency
Stock Image
Logic in Computer Science: Modelling and Reasoning about Systems
Published by
Cambridge University Press
(2004)
ISBN 10: 052154310X
ISBN 13: 9780521543101
New
Softcover
Quantity: 1
Seller:
Rating
Book Description Condition: new. Seller Inventory # newMercantile_052154310X
Buy New
US$ 53.91
Convert currency
Stock Image
Logic in Computer Science: Modelling and Reasoning about Systems
Published by
Cambridge University Press
(2004)
ISBN 10: 052154310X
ISBN 13: 9780521543101
New
Paperback
Quantity: 1
Seller:
Rating
Book Description Paperback. Condition: new. New. Seller Inventory # Wizard052154310X
Buy New
US$ 54.84
Convert currency
Stock Image
Logic in Computer Science: Modelling and Reasoning about Systems
Published by
Cambridge University Press
(2004)
ISBN 10: 052154310X
ISBN 13: 9780521543101
New
Softcover
Quantity: 1
Seller:
Rating
Book Description Condition: new. Seller Inventory # FrontCover052154310X
Buy New
US$ 54.09
Convert currency
Stock Image
Logic in Computer Science: Modelling and Reasoning about Systems
Published by
Cambridge University Press
(2004)
ISBN 10: 052154310X
ISBN 13: 9780521543101
New
Softcover
Quantity: 2
Seller:
Rating
Book Description Condition: New. Seller Inventory # 087578
Buy New
US$ 53.98
Convert currency
Stock Image
Logic in Computer Science: Modelling and Reasoning about Systems
Published by
Cambridge University Press
(2004)
ISBN 10: 052154310X
ISBN 13: 9780521543101
New
Paperback
Quantity: 1
Seller:
Rating
Book Description Paperback. Condition: new. Buy for Great customer experience. Seller Inventory # GoldenDragon052154310X
Buy New
US$ 55.29
Convert currency
Stock Image
Logic in Computer Science: Modelling and Reasoning about Systems
Published by
Cambridge University Press
(2004)
ISBN 10: 052154310X
ISBN 13: 9780521543101
New
Paperback
Quantity: 1
Seller:
Rating
Book Description Paperback. Condition: new. Prompt service guaranteed. Seller Inventory # Clean052154310X
Buy New
US$ 54.42
Convert currency
Stock Image
LOGIC IN COMPUTER SCIENCE: MODEL
Published by
Cambridge University Press
(2004)
ISBN 10: 052154310X
ISBN 13: 9780521543101
New
Softcover
Quantity: 1
Seller:
Rating
Book Description Condition: New. New. In shrink wrap. Looks like an interesting title! 1.66. Seller Inventory # Q-052154310X
Buy New
US$ 63.16
Convert currency