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

Veni Madhavan, Conjeevaram E. [Editor]

ISBN 10: 3540520481 / ISBN 13: 9783540520481

Published by Springer, 1989

About this Item

Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding.

Seller Inventory # DA1411139

Bibliographic Details

• Title: Foundations of Software Technology and Theoretical Computer Science: Ninth Conference, Bangalore, India, December 19-21, 1989. Proceedings (Lecture Notes in Computer Science)
• Publisher: Springer
• Publication Date: 1989
• Language: English
• ISBN 10: 3540520481
• ISBN 13: 9783540520481
• Binding: Paperback
• Condition: Very Good
• Weight: 38 ounces

About this title

Synopsis

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.