menu
{ "item_title" : "Introduction to Languages, Machines and Logic", "item_author" : [" Alan P. Parkes "], "item_description" : "This book provides an accessible introduction to three key topics within computer science: formal languages, abstract machines and formal logic. It is written in an easy-to-read, informal style and assumes only a basic knowledge of programming on the part of the reader. The approach is deliberately non-mathematical and features: - Clear explanations of formal notation and jargon - Extensive use of examples to illustrate algorithms and proofs - Pictorial representations of key concepts - Lots of end-of-chapter exercises Introduction to Languages, Machines and Logic is suitable for use on courses covering formal languages, formal logic, computability and automata theory. It will also make an excellent supplementary text for courses on algorithm complexity and compilers.", "item_img_path" : "https://covers3.booksamillion.com/covers/bam/1/85/233/464/1852334649_b.jpg", "price_data" : { "retail_price" : "79.99", "online_price" : "79.99", "our_price" : "79.99", "club_price" : "79.99", "savings_pct" : "0", "savings_amt" : "0.00", "club_savings_pct" : "0", "club_savings_amt" : "0.00", "discount_pct" : "10", "store_price" : "" } }
Introduction to Languages, Machines and Logic|Alan P. Parkes

Introduction to Languages, Machines and Logic : Computable Languages, Abstract Machines and Formal Logic

local_shippingShip to Me
In Stock.
FREE Shipping for Club Members help

Overview

This book provides an accessible introduction to three key topics within computer science: formal languages, abstract machines and formal logic. It is written in an easy-to-read, informal style and assumes only a basic knowledge of programming on the part of the reader. The approach is deliberately non-mathematical and features: - Clear explanations of formal notation and jargon - Extensive use of examples to illustrate algorithms and proofs - Pictorial representations of key concepts - Lots of end-of-chapter exercises Introduction to Languages, Machines and Logic is suitable for use on courses covering formal languages, formal logic, computability and automata theory. It will also make an excellent supplementary text for courses on algorithm complexity and compilers.

This item is Non-Returnable

Details

  • ISBN-13: 9781852334642
  • ISBN-10: 1852334649
  • Publisher: Springer
  • Publish Date: April 2002
  • Dimensions: 9.1 x 6.16 x 0.82 inches
  • Shipping Weight: 1.34 pounds
  • Page Count: 351

Related Categories

You May Also Like...

    1

BAM Customer Reviews