Read Anywhere and on Any Device!

Subscribe to Read | $0.00

Join today and start reading your favorite books for Free!

Create Free Account

Foundations of Software Technology and Theoretical Computer Science

0/5 ( ratings)

This book constitutes the refereed proceedings of the 18th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'98, held in Chennai, India, in December 1998.The 28 revised full papers presented were carefully selected from a total of 93 submissions; also included are six invited contributions. The papers deal with theoretical topics ranging from discrete mathematics and algorithmic aspects to software engineering, program semantics and mathematical logic.

Language: English

Pages: 369

Format: Paperback

Publisher: Springer

Release: November 25, 1998

ISBN: 3540653848

ISBN 13: 9783540653844

Foundations of Software Technology and Theoretical Computer Science

0/5 ( ratings)

This book constitutes the refereed proceedings of the 18th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'98, held in Chennai, India, in December 1998.The 28 revised full papers presented were carefully selected from a total of 93 submissions; also included are six invited contributions. The papers deal with theoretical topics ranging from discrete mathematics and algorithmic aspects to software engineering, program semantics and mathematical logic.

Language: English

Pages: 369

Format: Paperback

Publisher: Springer

Release: November 25, 1998

ISBN: 3540653848

ISBN 13: 9783540653844

More books from Gerhard Goos

Compiler Construction

2.5/5 ( ratings)

Vorlesungen über Informatik: Band 1: Grundlagen Und Funktionales Programmieren (E Xamen.Press) (German Edition)

3.3/5 ( ratings)

On the Shape of Mathematical Arguments

Vorlesungen Uber Informatik: Band 2: Objektorientiertes Programmieren Und Algorithmen

3.5/5 ( ratings)

Vorlesungen Uber Informatik: Berechenbarkeit, Formale Sprachen, Spezifikationen

3.5/5 ( ratings)

Vorlesungen �ber Informatik: Paralleles Rechnen Und Nicht-Analytische L�sungsverfahren

3.5/5 ( ratings)

Methodology and Tools in Knowledge-Based Systems: 11th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, Iea-98-Aie, Benicassim, Castellon, Spain, June, 1998 Proceedings, Volume I

Intelligence in Services and Networks: Technology for Cooperative Competition: Fourth International Conference on Intelligence in Services and Networks: Is&n'97, Cernobbio, Italy, May 27-29, 1997, Proceedings

Advances in Cryptology - Auscrypt '90: International Conference on Cryptology Sydney, Australia, January 8-11, 1990

Rate this book!

Write a review?