Covers a variety of topics from the theory of computing, ranging from software science, programming theory, systems design and analysis, formal methods, mathematical logic, mathematical foundations, discrete mathematics, combinatorial mathematics, complexity theory, and automata theory to theoretical computer science in general.
| ISBN: | 9783540304951 |
| Publication date: | 7th December 2005 |
| Author: | FSTTCS 2005, R Ramanujam, Sandeep Sen |
| Publisher: | Springer an imprint of Springer Berlin Heidelberg |
| Format: | Paperback |
| Pagination: | 566 pages |
| Series: | Lecture Notes in Computer Science |
| Genres: |
Software Engineering Mathematical theory of computation Algorithms and data structures Compilers and interpreters |
Covers a variety of topics from the theory of computing, ranging from software science, programming theory, systems design and analysis, formal methods, mathematical logic, mathematical foundations, discrete mathematics, combinatorial mathematics, complexity theory, and automata theory to theoretical computer science in general.
FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science features in the following genres: Software Engineering, Mathematical theory of computation, Algorithms and data structures, Compilers and interpreters
FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science is available in Paperback
FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science was written by FSTTCS 2005, R Ramanujam, Sandeep Sen and published by Springer an imprint of Springer Berlin Heidelberg
FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science has 566 pages
Yes it is part of Lecture Notes in Computer Science series