Erschienen: 26.11.1992 Abbildung von Shyamasundar | Foundations of Software Technology and Theoretical Computer Science | 1992

Shyamasundar

Foundations of Software Technology and Theoretical Computer Science

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

lieferbar ca. 10 Tage als Sonderdruck ohne Rückgaberecht

1992. Buch. xv, 409 S. Bibliographien. Softcover

Springer. ISBN 978-3-540-56287-0

Format (B x L): 15,5 x 23,3 cm

Gewicht: 1320 g

In englischer Sprache

Das Werk ist Teil der Reihe: Lecture Notes in Computer Science; 652

Produktbeschreibung

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.

Gesamtwerk

Die 8. Auflage ist wieder auf sechs Bände angelegt. Darin finden sich übersichtlich und in systematischer Gliederung Vertragsmuster aus der Feder erfahrener Experten. Jedem dieser Muster folgen Anmerkungen, mit denen der dem Vertragsentwurf zu Grunde liegende Sachverhalt und die Gründe für die Wahl des spezifischen Formulars erläutert werden.

Autoren

  • Dieses Set enthält folgende Produkte:
      Auch in folgendem Set erhältlich:
      • nach oben

        Ihre Daten werden geladen ...