|
![]() |
|||
|
||||
OverviewThis book constitutes the refereed proceedings of the 24th International Symposium on Mathematical Foundations of Computer Science, MFCS'99, held in Szklarska Poreba, Poland, in September 1999.The 37 revised full papers presented together with four invited contributions were carefully selected from 68 submissions. The papers are organized in sections on computing over reals, compression techniques, foundations of programming, complexity and algorithms, model checking, distributed computing, functional programming, automata, security, logic, counting problems, processes and bisimulation, graph algorithms, and type theory. Full Product DetailsAuthor: Miroslaw Kutylowski , Leszek Pacholski , Tomasz Wierzbicki (Massachusetts Institute of Technology)Publisher: Springer Imprint: Springer ISBN: 9781280957772ISBN 10: 1280957778 Pages: 453 Publication Date: 01 January 1999 Audience: General/trade , General Format: Undefined Publisher's Status: Active Availability: Available To Order ![]() We have confirmation that this item is in stock with the supplier. It will be ordered in for you and dispatched immediately. Table of ContentsReviewsAuthor InformationTab Content 6Author Website:Countries AvailableAll regions |