FST TCS 2000: Foundations of Software Technology and Theoretical Science
Author: Sanjiv Kapoor
Publisher: Springer Science & Business Media
Published: 2000-11-29
Total Pages: 544
ISBN-13: 3540414134
DOWNLOAD EBOOKThis book constitutes the refereed proceedings of the 20th international Conference on Foundations of Software Technology and Theoretical Computer Science, FST TCS 2000, held in New Delhi, India in December 2000. The 36 revised full papers presented were carefully reviewed and selected from a total of 141 submissions; also included are six invited papers. The volume provides broad coverage of the logical and mathematical foundations of computer science and spans the whole range of theoretical computer science.