Product Description: Closely geared to general practice yet without neglecting basic theory, this book has retained so much appeal among readers .as to warrant a third edition. We assume that the work has retained its place among the leading publications on psychosomatics because it embodies our strong interest in the 'here and now' of medical practice...read more

Product Description: Introduction to the temporal logic of - in particular paral- lel - programs.Divided into three main parts: - Presenta- tion of the pure temporal logic: language, semantics, and proof theory; - Representation of programs and their proper- ties within the language of temporal logic; - Application of the logical apparatus to the verification of program proper- ties including a new embedding of Hoare's logic into the temporal framework...read more