Logic and Language Models for Computer Science
Richards, Dana, Hamburger, Henry
ISBN 10: 0130654876 ISBN 13: 9780130654878
Published by Prentice Hall PTR, 2002
Used
Soft cover
From
Better World Books Ltd, Dunfermline, United Kingdom
Seller rating 5 out of 5 stars
AbeBooks Seller since October 13, 2008
This specific item is no longer available.
About this Item
Description:
Ships from the UK. Former library book; may include library markings. Used book that is in clean, average condition without any missing pages. Seller Inventory # 47817860-20
Synopsis:
This text makes in-depth explorations of a broad range of theoretical topics in computer science. It plunges into the applications of the abstract concepts in order to confront and address the skepticism of readers, and instill in them an appreciation for the usefulness of theory. A two-part presentation integrates logic and formal language—both with applications. Chapter topics cover mathematical preliminaries, propositional logic, proving things: why and how, predicate logic, proving with predicates, program...
About the Author:
Henry Hamburger is a Professor and Chairman of the Department of Computer Science at George Mason University.
Dana Richards is an Associate Professor with the Department of Computer Science at George Mason University.
"About this title" may belong to another edition of this title.
Bibliographic Details
Title: Logic and Language Models for Computer ...
Publisher: Prentice Hall PTR
Publication Date: 2002
Binding: Soft cover
Condition: Good
Edition: 1st.
Top Search Results from the AbeBooks Marketplace
Stock Image
Logic and Language Models for Computer Science
Seller: Seattle Goodwill, Seattle, WA, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: Good. May have some shelf-wear due to normal use. Seller Inventory # 0KVOGF000Y7O
Quantity: 1 available
Seller Image
Logic and Language Models for Computer Science
Seller: Goodwill of Silicon Valley, SAN JOSE, CA, U.S.A.
Seller rating 4 out of 5 stars
Condition: acceptable. Supports Goodwill of Silicon Valley job training programs. The cover and pages are in Acceptable condition! Any other included accessories are also in Acceptable condition showing use. Use can include some highlighting and writing, page and cover creases as well as other types visible wear such as cover tears discoloration, staining, marks, scuffs, etc. All pages intact. Seller Inventory # GWSVV.0130654876.A
Quantity: 1 available
Stock Image
Logic and Language Models for Computer Science
Seller: Your Online Bookstore, Houston, TX, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: New. Seller Inventory # 0130654876-11-23947307
Quantity: 1 available
Stock Image
Logic and Language Models for Computer Science.
Published by
Prentice-Hall, Inc., 2002
ISBN 10: 0130654876
ISBN 13: 9780130654878
Used
gebundene Ausgabe
Seller: Antiquariat Bernhardt, Kassel, Germany
Seller rating 5 out of 5 stars
gebundene Ausgabe. Condition: Sehr gut. Zust: Gutes Exemplar. Mit Vorbesitzereintrag. XIV, 341 Seiten, Englisch 706g. Seller Inventory # 492652
Quantity: 1 available
Stock Image
Logic and Language Models for Computer Science
Seller: BennettBooksLtd, North Las Vegas, NV, U.S.A.
Seller rating 5 out of 5 stars
paperback. Condition: New. In shrink wrap. Looks like an interesting title! Seller Inventory # Q-0130654876
Quantity: 1 available