Erweiterte
Suche ›

Foundations of Software Technology and Theoretical Computer Science

12th Conference, New Delhi, India, December 18-20, 1992. Proceedings

Springer Berlin,
Buch
93,08 € Lieferbar in 5-7 Tagen

Kurzbeschreibung

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.

Details
Schlagworte

Titel: Foundations of Software Technology and Theoretical Computer Science
Autoren/Herausgeber: Rudrapatna Shyamasundar (Hrsg.)
Aus der Reihe: Lecture Notes in Computer Science
Ausgabe: 1992

ISBN/EAN: 9783540562870

Seitenzahl: 409
Format: 23,3 x 15,5 cm
Produktform: Taschenbuch/Softcover
Gewicht: 1,320 g
Sprache: Englisch

buchhandel.de - Newsletter
Möchten Sie sich für den Newsletter anmelden?


Bitte geben Sie eine gültige E-Mail-Adresse ein.
Lieber nicht