Der alte Geppetto wünscht sich nichts mehr als einen kleinen Jungen. Eine gute Fee erfüllt ihm se...

Die Federal Reserve Bank in der Innenstadt von Los Angeles gilt als unbezwingbar. Und gerade desh...

The growing complexity of modern software systems increases the di?culty of ensuring the overall ...

Written in honor of Sir Tony Hoare's 75th Birthday, this book provides a discussion of the influe...

Computer-based systems are now essential to everyday life. They involve both tech- cal (hardware ...

Both object orientation and parallelism are modern programmingparadigms which have gained much ...

Refinement is the term used to describe systematic and formal methods of specifying hard- and sof...

This volume, like the symposium CSP25 which gave rise to it, commemorates the semi-jubilee of Com...

This book constitutes the refereed proceedings of the 19th International Symposium on Formal Meth...

Carlos, Norvis whispered as he stood as still as possible so as not to cause the big old cat to a...

Many software systems have reached a level of complication, mainly because of their size, heterog...

This Festschrift volume, published in honor of Brian Randell on the occasion of his 75th birthday...