FST TCS 2000: Foundations of Software Technology and Theoretical Science
Subtitle: 20th Conference, New Delhi, India, December13-15, 2000 Proceedings (Lecture Notes in Computer Science)
Contributors: Sanjiv Kapoor (Editor); Sanjiva Prasad (Editor)
Edition: 1 edition
Publisher: Springer
Published: January 12, 2001
Language: eng
Format: Paperback
Number of pages: 532
ISBN-13: 9783540414131
Subjects: General Theory of Computing; Science; Software Design; Theory Of Computing; Computers; Computer Books: General; General; Computers / Logic Design; Theoretical computer science; algorithms; computing theory; discrete mathematics; formal methods; logical foundations; mathematical foundations; mathematical logics; program semantics; programming theory; Computer Science; Programming - Software Development
First sentence: There is a chronic need for more effective methods of constructing correct and reliable computer software as well as hardware.