5 Ebooks tarafından 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 …
PDF
İngilizce
DRM
€50.81
Roberto Gorrieri & Heike Wehrheim: Formal Methods for Open Object-Based Distributed Systems
…
PDF
İngilizce
DRM
€56.20
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 …
PDF
İngilizce
DRM
€57.76
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 …
EPUB
İngilizce
DRM
€57.04
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 …
PDF
İngilizce
DRM
€3.79
