About this book series
Volumes published in this series will present material of current research interest to researchers and graduate students - in the form of either a monograph or an edited compendium of related articles. Each volume will provide a reasonable self-contained account of a topic, as well as a survey of the literature on the topic.
Discontinued series: although this series no longer publishes new content, the published titles listed here remain available.
- This book series contains subseries
- View subseries
- Electronic ISSN
- 2512-5486
- Print ISSN
- 0172-603X
- Series Editor
-
- David Gries,
- Fred B. Schneider
Book titles in this series
-
-
Algebraic Approaches to Program Semantics
- Authors:
-
- Ernest G. Manes
- Michael A. Arbib
- Copyright: 1986
Available Renditions
- Hard cover
- Soft cover
- eBook
-
Language Equations
- Authors:
-
- Ernst L. Leiss
- Copyright: 1999
Available Renditions
- Hard cover
- Soft cover
- eBook
-
The Origins of Digital Computers
Selected Papers
- Editors:
-
- B. Randell
- Copyright: 1982
Available Renditions
- Hard cover
- Soft cover
- eBook
-
The Design of Well-Structured and Correct Programs
- Authors:
-
- Suad Alagic
- Michael A. Arbib
- Copyright: 1978
Available Renditions
- Hard cover
- Soft cover
- eBook