Mathematical Foundations of Computer Science 2002
Subtitle: 27th International Symposium, MFCS 2002, Warsaw, Poland, August 26-30, 2002. Proceedings (Lecture Notes in Computer Science)
Contributors: Krzystof Diks (Editor); Wojciech Rytter (Editor)
Edition: 1 edition
Publisher: Springer
Published: October 3, 2002
Language: eng
Format: Paperback
Number of pages: 652
ISBN-13: 9783540440406
Subjects: Mathematical theory of computation; General; Conferences; Mathematics; Discrete Mathematics (Computer Science); Foundations Of Mathematics; Computers; Computers - General Information; Computer Books: General; Congresses; Discrete Mathematics; Machine Theory; Algorithms; Combinatorial Optimization; Computers / Computer Science; Formal Methods; Graph Theory; Informatics; Mathematical Logic; Computer Science
First sentence: There has been a great deal of work in the algebraic specification tradition on formalizing the rather intuitive and appealing idea of program development by stepwise refinement, including [EKMP82,Gan83,GM82,Sch87,ST88b]; for a recent survey, see [EK99]).