Integration von Prozessen mit formalen Methoden in 2025 | Fachbücher, Wissen, Bücher