Der alte Geppetto wünscht sich nichts sehnlicher als einen kleinen Jungen. In einer sternklaren N...

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...

Sir Tony Hoare has had an enormous influence on computer science, from the Quicksort algorithm to...

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

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

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