About this book series
Edited by
Book, R.V., University of California, Santa Barbara, USA
Progress in Theoretical Computer Science is a
series that focuses on the theoretical aspects of computer science and on the logical and mathematical foundations of computer science, as well as the applications of computer theory. It addresses itself to research workers and graduate students in computer and information science departments and research laboratories, as well as to departments of mathematics and electrical engineering where an interest in computer theory is found.
Discontinued series: although this series no longer publishes new content, the published titles listed here remain available.
Book titles in this series
-
-
Algol-like Languages
- Authors:
-
- Peter O'Hearn
- Robert Tennent
- Copyright: 1997
Available Renditions
- Hard cover
- Soft cover
- eBook
-
Canonical Equational Proofs
- Authors:
-
- Bachmair
- Copyright: 1991
Available Renditions
- Soft cover
- Soft cover
- eBook
-
Nondeterminism in Algebraic Specifications and Algebraic Programs
- Authors:
-
- Hussmann
- Copyright: 1993
Available Renditions
- Hard cover
- Soft cover
- eBook
-
Verifying Temporal Properties of Systems
- Authors:
-
- J.C. Bradfield
- Copyright: 1992
Available Renditions
- Hard cover
- Soft cover
- eBook