Skip to main content
×
×
Home

This series offers books on theoretical computer science, that part of computer science concerned with fundamental mathematical questions about computers, programs, algorithms, data, and information processing systems in general. Computers and programs are inherently mathematical objects, and an understanding of their mathematical basis is essential to the appreciation of the foundations of computer science.The series covers the complete field of theoretical computer science, including mathematical foundations of computer science, formal methods of reasoning about programs and data, and formal semantics of programs and data, including formal semantics for natural language, pictures, and sound.

  • Associate Editors: S. Abramsky, Oxford University
  • Editorial Boards: P. H. Aczel, University of Manchester, Y. Gurevich, Microsoft Research, J. V. Tucker, Swansea University
Recommend this

Email your librarian or administrator to recommend adding this to your organisation's collection.

Please enter your name
Please enter a valid email address
Who would you like to send this to *
×