Industrial-Sized Deals Best Books of the Month Shop Women's Handbags Learn more nav_sap_SWP_6M_fly_beacon $5 Albums Storm Fire TV Stick Grocery Find the Best Purina Pro Plan for Your Pet Shop Popular Services Home Theater Setup Plumbing Services Assembly Services Shop all tmnt tmnt tmnt  Amazon Echo Fire HD Kids Edition Kindle Voyage The Walking Dead\ Shop Back to School with Amazon Back to School with Amazon Outdoor Recreation Deal of the Day

Programming Language Theory and Its Implementation (Prentice Hall International Series in Computing Science)

1 customer review
ISBN-13: 978-0137304172
ISBN-10: 013730417X
Why is ISBN important?
This bar-code number lets you verify that you're getting exactly the right version or edition of a book. The 13-digit and 10-digit formats both work.
Scan an ISBN with your phone
Use the Amazon App to scan ISBNs and compare prices.
Have one to sell? Sell on Amazon
Buy used
Condition: Used - Good
Condition: Used: Good
Comment: Publisher: Prentice-Hall
Date of Publication: 1988
Binding: hardcover
Condition: Good
Description: Cover lightly soiled/rubbed/bumped, corners and spine ends rubbed/bumped; edges lightly soiled; ffep has erasures; binding tight; cover, edges, and interior intact and clean except as noted.
Access codes and supplements are not guaranteed with used items.
21 Used from $2.81
More Buying Choices
4 New from $70.90 21 Used from $2.81
Free Two-Day Shipping for College Students with Amazon Student Free%20Two-Day%20Shipping%20for%20College%20Students%20with%20Amazon%20Student

--This text refers to an out of print or unavailable edition of this title.

InterDesign Brand Store Awareness Rent Textbooks


Best Books of the Month
Best Books of the Month
Want to know our Editors' picks for the best books of the month? Browse Best Books of the Month, featuring our favorite new books in more than a dozen categories.

Product Details

  • Series: Prentice Hall International Series in Computing Science
  • Hardcover: 255 pages
  • Publisher: Prentice Hall (May 1988)
  • Language: English
  • ISBN-10: 013730417X
  • ISBN-13: 978-0137304172
  • Product Dimensions: 9.1 x 5.9 x 0.9 inches
  • Shipping Weight: 1.1 pounds
  • Average Customer Review: 5.0 out of 5 stars  See all reviews (1 customer review)
  • Amazon Best Sellers Rank: #7,289,616 in Books (See Top 100 in Books)

More About the Author

Discover books, learn about writers, read author blogs, and more.

Customer Reviews

5 star
4 star
3 star
2 star
1 star
See the customer review
Share your thoughts with other customers

Most Helpful Customer Reviews

1 of 1 people found the following review helpful By King Yin Yan on May 8, 2010
Format: Paperback
Nice, easy to read.

Simple intro to:
Floyd-Hoare logic, lambda calculus, combinatory logic.

Include Lisp code of a simple theorem prover based on term rewriting (based on LC Paulson's higher-order rewriting idea). And a simple Lisp toolkit for lambda calculus and combinatory logic.

Good for beginners in these areas!

By the way, the author supervised the development of Cambridge LCF in the 1980s and later created HOL.
Comment Was this review helpful to you? Yes No Sending feedback...
Thank you for your feedback. If this review is inappropriate, please let us know.
Sorry, we failed to record your vote. Please try again