Pinocchio

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

We find ourselves in a very strange place.Technology is embedded so deeply in our lives that it n...

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

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

Norvis