Features
- Cover Type: Paperback with 630 pages
- Published by: Springer
- Edition: 1st Edition September 6, 2000
- Written in: English
- ISBN 10 Number: 3540678239
- ISBN 13 Number: 978-3540678236
-
Book Dimensions:
9.3 x 6.3 x 1 inches
- Weighs: 2 pounds
Product Description
This book constitutes the refereed proceedings of the International Conference IFIP TCS 2000 held in Sendai, Japan in August 2000.
The 32 revised full papers presented together with nine invited contributions were carefully reviewed and selected from a total of seventy submissions. The papers are organized in two tracks on algorithms, complexity, and models of computation and on logics, semantics, specification, and verification. The book is devoted to exploring new frontiers of theoretical informatics and addresses all current topics in theoretical computer science.