Princeton Series in Computer Science

Edited by David R. Hanson and Robert E. Tarjan

This series treats a variety of topics in theoretical and experimental computer science, including hardware design and computer architecture, networks, system performance, programming languages, operating systems, software engineering, algorithm design and analysis, combinatorics, complexity, logics of programs and program design, and artificial intelligence. It is attractive not only to computer scientists in all areas, but also to mathematicians with interests in computing.

Go to Listing by Author

• Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Approach. R.P. Kurshan.

Return to Series Menu

File created: 4/24/2008

Questions and comments to: webmaster@press.princeton.edu
Princeton University Press