menu
{ "item_title" : "Foundations of Software Technology and Theoretical Computer Science", "item_author" : [" Conjeevaram E. Veni Madhavan "], "item_description" : "The papers in this volume accepted for the conference on foundations of software technology and theoretical computer science project research results in - Algorithmics: design and analysis of graph, geometric, algebraic and VLSI algorithms; data structures; average analysis; complexity theory; parallel parsing. - Concurrency: algebraic semantics, event structures. - Logic programming: algebraic properties, semantics. - Software technology: program transformations, algebraic methods. These results together with the formal techniques employed to present them reflect current trends pursued by leading research groups around the world. The papers treat their topics in depth by carefully reviewing existing results, developing and demonstrating new techniques and suggesting further directions for research.", "item_img_path" : "https://covers2.booksamillion.com/covers/bam/3/54/052/048/3540520481_b.jpg", "price_data" : { "retail_price" : "54.99", "online_price" : "54.99", "our_price" : "54.99", "club_price" : "54.99", "savings_pct" : "0", "savings_amt" : "0.00", "club_savings_pct" : "0", "club_savings_amt" : "0.00", "discount_pct" : "10", "store_price" : "" } }
Foundations of Software Technology and Theoretical Computer Science|Conjeevaram E. Veni Madhavan

Foundations of Software Technology and Theoretical Computer Science : Ninth Conference, Bangalore, India, December 19-21, 1989. Proceedings

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

Overview

The papers in this volume accepted for the conference on foundations of software technology and theoretical computer science project research results in - Algorithmics: design and analysis of graph, geometric, algebraic and VLSI algorithms; data structures; average analysis; complexity theory; parallel parsing. - Concurrency: algebraic semantics, event structures. - Logic programming: algebraic properties, semantics. - Software technology: program transformations, algebraic methods. These results together with the formal techniques employed to present them reflect current trends pursued by leading research groups around the world. The papers treat their topics in depth by carefully reviewing existing results, developing and demonstrating new techniques and suggesting further directions for research.

This item is Non-Returnable

Details

  • ISBN-13: 9783540520481
  • ISBN-10: 3540520481
  • Publisher: Springer
  • Publish Date: December 1989
  • Dimensions: 9.21 x 6.14 x 0.73 inches
  • Shipping Weight: 1.09 pounds
  • Page Count: 341

Related Categories

You May Also Like...

    1

BAM Customer Reviews