Information Security is usually achieved through a mix of technical, organizational and legal mea...

This book demonstrates that the concept of an instruction sequence offers a novel and useful view...

This book demonstrates that the concept of an instruction sequence offers a novel and useful view...

The proper treatment and choice of the basic data structures is an important and complex part in ...

Algebraic specification a step towards future software engineering.- How to make algebraic specif...