This page-turning novel unfolds against the backdrop of world events that shaped the life of a prominent architect from Vienna and his family....

As the anniversary of the 9/11 attack on the U.S. approaches, Osama bin Laden's lieutenant, Kamal Ibn-Sultan, who had escaped the attack by the U.S. on the Al Qaeda strong- hold of Tora Bora is guiding his terrorist teams with his plan to unleash a second blow....

This volume presents a collection of methods for dealing with software reliability. Ideally, formal methods need to be intuitive to use, require a relatively brief learning period, and incur only small overhead to the development process....

This book constitutes the refereed proceedings of the 22nd IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2002, held in Houston, Texas, USA in November 2002. The 22 revised full papers, 2 tool papers, and 2 posters presented were carefully reviewed and selected from 61 submissions....

\"Model Checking is bound to be the pre-eminent source for research, teaching, and industrial practice on this important subject. The authors include the foremost experts. This is the first truly comprehensive treatment of a line of research that has gone from conception to industrial practice in only two decades.\" -- R. P....