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