BookenDeX — Better Discovery eXperience
Cover of Foundations of Software Technology and Theoretical Computer Science: 12th Conference New Delhi, India, December 18-20, 1992
Book details

Foundations of Software Technology and Theoretical Computer Science: 12th Conference New Delhi, India, December 18-20, 1992

Proceedings (Foundations ... Technology and Theoretical Computer Science)

by R. K. Shyamasundar

Published 1992418 pagesISBN 978-0-3875-6287-2

"For more than a decade, Foundations of Software Technology and Theoretical Computer Science Conferences have been providing an annual academic computerscience forum for the presentation of new results in the topics of current research in India and abroad. This year, there was a total of 125 papers from 14 countries. Each paper was reviewed by at least three reviewers; based on these reviews, the programme committee selected 28 papers at a meeting held in July 1992 at the Tata Institute of Fundamental Research, Bombay. The selected papers are included in this volume, together with three invited papers: "Games and full completeness for multiplicative linear logic" by S. Abramsky, "Recent developments inalgorithms for the maximum-flow problem" by K. Melhorn, and "System specification and refinement in temporal logic" by A. Pnueli."--PUBLISHER'S WEBSITE.

Beyond its central premise, the book can be read through the connected lenses of Nonfiction. Those themes offer useful points of attention as the characters, ideas, or world develop, especially where the book complicates the expectations of its primary category.

As an Amazon Associate I earn from qualifying purchases.

Full BookenDeX details

What the reading experience may hold

A fuller profile for choosing with more confidence—not just another copy of the preview.

Themes to notice

Nonfiction

Use these as starting points rather than limits; the most memorable books often stretch beyond their catalog labels.

Content notes

Catalog signals suggest warfare and conflict. These notes may not be complete; consult a publisher or reader-supplied guide when detailed warnings matter.

These notes are inferred from available catalog information and may not be complete. Check a publisher or reader-supplied guide if you need comprehensive warnings.

Reading experience

Dark tone · Steady pace

A comfortable full-length choice for steady daily reading.

Who it may suit

A good fit if…

Readers who want a thoughtful experience and enjoy noticing the connections beneath a book’s surface story.

At a glance

This book's DNA

A visual estimate based on this edition's categories, description, and length. Select a star to explore the signals.

ToneDark
LuminousDark

This signal is descriptive, not a rating. It helps compare the kind of reading experience this edition may offer.

No plot details

Spoiler-Free Emotional Arc

A broad estimate of the book’s emotional rhythm, shown without story events or outcomes.

Spoiler-free
12345
PeakRelative emotional intensity
Foundations of Software Technology and Theoretical Computer Science: 12th Conference New Delhi, India, December 18-20, 1992R. K. Shyamasundar
Powerful5/5

This visualization is an interpretive estimate based on catalog description, categories, tone, pace, and content signals. It does not describe specific scenes.

Before you choose

A quick reading snapshot

Edition facts and catalog signals to help you decide whether this book fits what you want to read next.

Reading lengthA standard-length read418 pages in this edition
Publication eraModernFirst published or edition dated 1992
Primary categoryNonfictionExplore similar books below
ISBN-13
978-0-3875-6287-2
Language
English
Edition record
OL10154112M
BookenDeX editorial lens

A more thoughtful way into this book

This guide uses the edition details and category signals above to help you choose deliberately. It does not replace the author's work or a full review.

Good to know

A comfortable full-length choice for steady daily reading.

Begin with its place in Nonfiction, then notice where the book resists that label.

Try this reading approach

Read for connection, not completion.

Mark one passage that sharpens the book's central concern and one that complicates it. That tension often reveals more than a quick summary.

Three questions to carry with you

  1. Whose perspective organizes the story, and whose perspective remains outside it?
  2. Which sources or lived experiences carry the author’s central argument?
  3. How does the book change the way you understand its larger subject?

Editorial framework by Wesley Bryan, BookenDeX Founder and Editor.