Der Theologe Calvin im Fokus der Wissenschaft.

First ever published Church History of the Netherlands.

The story of the Christian church in the Netherlands in its cultural and socio-political context.

This book constitutes the refereed proceedings of the 20th International Symposium on Formal Meth...

HIS BOOK CONTAINS a most comprehensive text that presents syntax-directed and compositional metho...

This book constitutes the refereed proceedings of the 18th International Conference on Software E...

Formal methods have been applied successfully to the verification of medium-sized programs in pro...

Formal methods have been applied successfully to the verification of medium-sized programs in pro...

Formal methods have been applied successfully to the verification of medium-sized programs in pro...

Formal methods have been applied successfully to the verification of medium-sized programs in pro...

This book constitutes the refereed proceedings of the 7th FIP WG 2.2 International Conference, TC...

Largeandcomplexsoftwaresystemsprovidethenecessaryinfrastuctureinall- dustries today. In order to ...