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

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

This book constitutes revised lectures from the 11th Symposium on Formal Methods for Components a...