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