This book provides foundations for software specification and formal software development from th...

This two volume set LNCS 9234 and 9235 constitutes the refereed conference proceedings of the 40t...

This two volume set LNCS 9234 and 9235 constitutes the refereed conference proceedings of the 40t...

FP6 Project Overviews.- Project AEOLUS: An Overview.- MOBIUS: Mobility, Ubiquity, Security.- Sens...

This book is an annotated bibliography providing an up-to-date overview of past and present work ...

The Fifth Workshop on Specification of Abstract Data Types took place 1-4 September 1987 in Gulla...

This volume contains the papers selected for presentation at the fifth European Symposium on Prog...

Computation, itself a form of calculation, incorporates steps that include arithmetical and non-a...

This book provides foundations for software specification and formal software development from th...