menu
{ "item_title" : "Automata, Languages and Programming", "item_author" : [" Thomas Ottmann "], "item_description" : "This volume contains the proceedings of the 14th International Colloquium on Automata Languages and Programming, organized by the European Association for Theoretical Computer Science (EATCS) and held in Karlsruhe, July 13-17, 1987. The papers report on original research in theoretical computer science and cover topics such as algorithms and data structures, automata and formal languages, computability and complexity theory, semantics of programming languages, program specification, transformation and verification, theory of data bases, logic programming, theory of logical design and layout, parallel and distributed computation, theory of concurrency, symbolic and algebraic computation, term rewriting systems, cryptography, and theory of robotics. The authors are young scientists and leading experts in these areas.", "item_img_path" : "https://covers4.booksamillion.com/covers/bam/3/54/018/088/3540180885_b.jpg", "price_data" : { "retail_price" : "109.99", "online_price" : "109.99", "our_price" : "109.99", "club_price" : "109.99", "savings_pct" : "0", "savings_amt" : "0.00", "club_savings_pct" : "0", "club_savings_amt" : "0.00", "discount_pct" : "10", "store_price" : "" } }
Automata, Languages and Programming|Thomas Ottmann

Automata, Languages and Programming : 14th International Colloquium, Karlsruhe, Federal Republic of Germany, July 13-17, 1987. Proceedings

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

Overview

This volume contains the proceedings of the 14th International Colloquium on Automata Languages and Programming, organized by the European Association for Theoretical Computer Science (EATCS) and held in Karlsruhe, July 13-17, 1987. The papers report on original research in theoretical computer science and cover topics such as algorithms and data structures, automata and formal languages, computability and complexity theory, semantics of programming languages, program specification, transformation and verification, theory of data bases, logic programming, theory of logical design and layout, parallel and distributed computation, theory of concurrency, symbolic and algebraic computation, term rewriting systems, cryptography, and theory of robotics. The authors are young scientists and leading experts in these areas.

This item is Non-Returnable

Details

  • ISBN-13: 9783540180883
  • ISBN-10: 3540180885
  • Publisher: Springer
  • Publish Date: July 1987
  • Dimensions: 9.21 x 6.14 x 1.17 inches
  • Shipping Weight: 1.77 pounds
  • Page Count: 565

Related Categories

You May Also Like...

    1

BAM Customer Reviews