Computer science seeks to provide a scientific basis for the study of inform a tion processing, the solution of problems by algorithms, and the design and progr

Basic Category Theory for Computer Scientists provides a straightforward presentation of the basic constructions and terminology of category theory, including l

Formal specifications are an important tool for the construction, verification and analysis of systems, since without it is hardly possible to explain whether a

Juraj Hromkovic takes the reader on an elegant route through the theoretical fundamentals of computer science. The author shows that theoretical computer scienc

The past 50 years have witnessed a revolution in computing and related communications technologies. The contributions of industry and university researchers to