Books in the International Series of Monographs on Computer Science series

This monograph provides a series of expositions of basic classical methods of approximation leading to popular splines and new explicit tools of computation, including sinc methods, elliptic function methods and positive operator approximation methods.

Here, the author, develops a type theory, studies its properties, and explains its uses in applications to computer science. In particular, type theory is shown to offer a powerful and uniform language for programming, program specification and development, and logical reasoning.

BL The first book on this subject - fully self-contained and unified approachThe author has developed here a unified approach to automated reasoning in multiple-valued logics (MVL). The book also contains complete accounts of other approaches to this problem - making this the first ever overview of this area of automated reasoning.

This is an introduction to software metrics - the measurement of software products and processes used for establishing quality assurance thresholds and predicting quality levels. The review discusses a number of weaknesses discovered in recent years.