"International Standard Serial Number: 0065-2458"--Title page verso.
Includes bibliographical references and index.
Front Cover; Advances in Computers, Volume 43; Copyright Page; Contents; Preface; Contributors; Chapter 1. Program Slicing; Chapter 2. Language Features for the Interconnection of Software Components; Chapter 3. Using Model Checking to Analyze Requirements and Designs; Chapter 4. Information Technology and Productivity: A Review of the Literature; Chapter 5. The Complexity of Problems; Chapter 6. 3-D Computer Vision Using Structured Light: Design. Calibration, and Implementation Issues; Author Index; Subject Index; Contents of Volumes in This Series.
0
Since its first volume in 1960, Advances in Computers has presented detailed coverage of innovations in hardware and software and in computer theory, design, and applications. It has also provided contributorswith a medium in which they can examine their subjects in greater depth and breadth than that allowed by standard journal articles. As a result, many articles have become standard references that continue to be of significant, lasting value despite the rapid growth taking place in the field.