5 Ebooks by Heike Wehrheim
Roland Meyer & Andre Platzer: Correct System Design
This book is dedicated to Professor Ernst–Rudiger Olderog on the occasion of his 60th birthday. This volume is a reflection on Professor Olderog’s contributions to the scientific community. It provi …
PDF
Inggeris
DRM
€50.72
Roberto Gorrieri & Heike Wehrheim: Formal Methods for Open Object-Based Distributed Systems
…
PDF
Inggeris
DRM
€57.99
Michael Leuschel & Heike Wehrheim: Integrated Formal Methods
This book constitutes the refereed proceedings of the 7th International Conference on Integrated Formal Methods, IFM 2009, held in Dusseldorf, Germany in February 2009. The 21 revised full papers pre …
PDF
Inggeris
DRM
€57.82
Wolfgang Ahrendt & Heike Wehrheim: Tests and Proofs
This book constitutes the refereed proceedings of the 14th International Conference on Tests and Proofs, TAP 2020, held as part of the 4th World Congress on Formal Methods 2020, Bergen, Norway, in Ju …
EPUB
Inggeris
DRM
€57.60
Jordi Cabot & Heike Wehrheim: Fundamental Approaches to Software Engineering
This open access book constitutes the proceedings of the 23rd International Conference on Fundamental Approaches to Software Engineering, FASE 2020, which took place in Dublin, Ireland, in April 2020 …
PDF
Inggeris
DRM
€3.85
