FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science
Subtitle: 21st Conference, Bangalore, India, December 13-15, 2001, Proceedings (Lecture Notes in Computer Science)
Contributors: Ramesh Hariharan (Editor); Madhavan Mukund (Editor); V. Vinay (Editor)
Edition: 1 edition
Publisher: Springer
Published: December 18, 2001
Language: eng
Format: Paperback
Number of pages: 347
ISBN-13: 9783540430025
Subjects: Computer Programming; Computer Software Packages; General Theory of Computing; Software Engineering; Theory Of Computing; Computers; Medical / Nursing; Computer Books: General; General; Logic Design; Programming - General; Algorithms; Computers / Logic Design; Computing Theory; Discrete Mathematics; Formal Methods; Logical Foundations; Mathematical Foundations; Mathematical Logic; Program Semantics; Computer Science; Programming - Software Development