BIBLIO is the largest independent book marketplace in the world, with over 100 million books.

Skip to content

Understanding Computation: Impossible Code and the Meaning of Programs

Understanding Computation: Impossible Code and the Meaning of Programs

Understanding Computation: Impossible Code and the Meaning of Programs Paperback - 2013

by Stuart, Tom

Add to wish list
  • Used
  • very good
  • Paperback
Used - Very good

Description

Paperback. Very Good.
Ask the seller a question Add to wish list
A$6.83
A$16.62 Delivery to USA
Standard delivery: 7 to 40 days
More delivery options
Ships from World of Books Ltd (West Sussex, United Kingdom)

Details

  • Title Understanding Computation: Impossible Code and the Meaning of Programs
  • Author Stuart, Tom
  • Binding Paperback
  • Edition International Ed
  • Condition Used - Very good
  • Pages 329
  • Volumes 1
  • Language ENG
  • Publisher O'Reilly Media, n
  • Publication date 2013-07-02
  • Illustrated Yes
  • Features Illustrated, Index
  • Bookseller's Inventory # GOR006808599
  • ISBN 9781449329273 / 1449329276
  • Weight 1.17 lbs (0.53 kg)
  • Dimensions 9.03 x 7.03 x 0.77 in (22.94 x 17.86 x 1.96 cm)
  • Themes
    • Aspects (Academic): Science/Technology Aspects
  • Category Computers - Languages / Programming
  • Library of Congress subjects Computer science, Computational complexity
  • Dewey Decimal Code 004
  • Quantity available 1

About World of Books Ltd West Sussex, United Kingdom

Biblio member since 2007

In 2002, World of Books was founded on an ethos to do good, protect the planet, and support charities by enabling more goods to be reused. Since then, we've grown into a global pioneer, dedicated to helping people read more and waste less. Through the World of Books brand, customers can now buy and sell with us! We provide affordable, preloved books to book lovers all around the world, while also giving people the opportunity to contribute to the circular economy, earn money and protect the planet by trading in their unwanted books and media for cash. Through the B2B side of our business we've developed technology to help charities sell in bulk, meaning they can clear much needed floor space and make money for great causes at the same time. A new book will be sold once but their stories can be enjoyed by more than one owner. After all, a story doesn't change because it's been read before!

Terms of Sale:

If you are not completely satisfied with your purchase for any reason, simply email customerservice@worldofbooks.com and we will quickly resolve any issues you may have. If you have any other queries about your order, please email customerservice@worldofbooks.com. Our goal is to deliver to our customers the best possible service and we hope your experience of dealing with us lives up to our promise. If for whatever reason we fail to meet your expectations then please let us know.

Browse books from World of Books Ltd

Reader reviews for Understanding Computation: Impossible Code and the Meaning of Programs

From the publisher

Finally, you can learn computation theory and programming language design in an engaging, practical way. Understanding Computation explains theoretical computer science in a context you'll recognize, helping you appreciate why these ideas matter and how they can inform your day-to-day programming.

Rather than use mathematical notation or an unfamiliar academic programming language like Haskell or Lisp, this book uses Ruby in a reductionist manner to present formal semantics, automata theory, and functional programming with the lambda calculus. It's ideal for programmers versed in modern languages, with little or no formal training in computer science.

  • Understand fundamental computing concepts, such as Turing completeness in languages
  • Discover how programs use dynamic semantics to communicate ideas to machines
  • Explore what a computer can do when reduced to its bare essentials
  • Learn how universal Turing machines led to today's general-purpose computers
  • Perform complex calculations, using simple languages and cellular automata
  • Determine which programming language features are essential for computation
  • Examine how halting and self-referencing make some computing problems unsolvable
  • Analyze programs by using abstract interpretation and type systems

About the author

Tom is a computer scientist and programmer, and the founder of Codon, a digital product consultancy in London. He works as a consultant, mentor and trainer, helping companies to improve the quality and clarity of their approach to creating software products, usually on the web. He has lectured on optimizing compilers at the University of Cambridge, co-organizes the Ruby Manor conference, and is a member of the London Ruby User Group.

tracking-