This volume is published in honor of Professor Chaochen Zhou's 80th birthday. The Festschrift con...

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

This book constitutes the refereed proceedings of the 4th International Colloquium on Theoretical...

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

VDM: Origins, hopes, and achievements.- Experience using VDM in STC.- VDM in three generations of...

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

This book is about describing the meaning of programming languages. The author teaches the skill ...

Somniscope: a device used to facilitate the exploration and study of dreams.Dreampunk: a progress...

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

This book is about describing the meaning of programming languages. The author teaches the skill ...

This Festschrift volume is published to honour both Dines Bjørner and Zhou Chaochen on the occasi...

This book constitutes the refereed proceedings of FME '97, the 4th International Symposium of For...