Foundations of Software Technology and Theoretical Computer Science
11 Angebote vergleichen

Von Händler/Antiquariat, BuySomeBooks [52360437], Las Vegas, NV, U.S.A.
This item is printed on demand. Paperback. 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. This item ships from La Vergne,TN.

Von Händler/Antiquariat, Caliban Books Pittsburgh PA, ABAA [48942], Wilkinsburg, PA, U.S.A.
403 pp. Softcover. Very Good copy: bottom half of wraps and book show some waving; wraps and page borders show light soil and shelfwear. Insides clean; Text is unmarked. 8vo.

Lieferung aus: Schweiz, 26.11.1992.
12th Conference, New Delhi, India, December 18-20, 1992. Proceedings, 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.

Lieferung aus: Vereinigte Staaten von Amerika, Usually ships in 1-2 business days.
Von Händler/Antiquariat, GuthrieBooks.
For more than a decade, Foundations of Software Technology and Theoretical Computer Science Conferences have been providing an annual academic computer science 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 in algorithms for the maximum-flow problem" by K. Melhorn, and "System specification and refinement in temporal logic" by A. Pnueli. Paperback, Label: Springer-Verlag, Springer-Verlag, Product group: Book, Published: 1992-12, Studio: Springer-Verlag.

Von Händler/Antiquariat, Chiron Media [55661942], Wallingford, United Kingdom.
Brand new book, sourced directly from publisher. Dispatch time is 24-48 hours from our warehouse. Book will be sent in robust, secure packaging to ensure it reaches you securely.

Von Händler/Antiquariat, Herb Tandree Philosophy Books [17426], Stroud, UK, United Kingdom.
Paperback, This listing is a new book, a title currently in-print which we order directly and immediately from the publisher.

Von Händler/Antiquariat, moluna [73551232], Greven, Germany.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen

Lieferung aus: Vereinigte Staaten von Amerika, Free shipping.
Von Händler/Antiquariat, Better World Books [51315977], Mishawaka, IN, U.S.A.
Former Library book. Great condition for a used book! Minimal wear.

Von Händler/Antiquariat, Ergodebooks [8304062], RICHMOND, TX, U.S.A.
This item is printed on demand.

Lieferung aus: Vereinigte Staaten von Amerika, plus shipping, Shipping area: DOM.
Von Händler/Antiquariat, GuthrieBooks, TX, Spring Branch, [RE:4].
Paperback.