Autor: Carroll Morgan

This book constitutes the thoroughly refereed post-conference proceedings of the 14th Brazilian Symposium on Formal Methods, SBMF 2011, held in Sao Paulo, Brazil, in September 2011; co-located with C …

The second half of the twentieth century saw an astonishing increase in computing power; today computers are unbelievably faster than they used to be, they have more memory, they can communicate rout …

On the Refinement Calculus gives one view of the development of the refinement calculus and its attempt to bring together – among other things – Z specifications and Dijkstra’s programming language. …

A book about a small town police officer who went from a parking meter patrol officer to a Police Major. Who, because of alcoholism, was forced to resign from the police force. By the Grace of God an …

This book presents a comprehensive mathematical theory that explains precisely what information flow is, how it can be assessed quantitatively – so bringing precise meaning to the intuition that cert …