Invasive bladder tumors affect the muscle wall, and have a propensity to metastasize and spread to other areas of the body, and are more likely to be fatal. This book presents state-of-the-art diagnoses and treatments available for bladder cancer that has metastasised into the body. A thorough review of current practice is presented in a full...

About four years ago David Luckham hinted to me the possibility of verifying a "real" compiler. At that time the idea seemed unrealistic, even absurd. After looking closer at the problem and getting more familiar with the possibilities of the Stanford verifier a verified compiler appeared not so impossible after all. In...

Every organization, no matter what the business involved, to achieve efficiency needs efficient people working for them. For a long time now, operating systems and applications have represented important tools in the work of these people and organizations. And if we are not capable of providing users with the proper tools, gaining an...