Gesponsert Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen
53.49 EUR
53.49 EUR
26-08-2026 14:12:02
Ein praxisorientiertes Handbuch, das formale Techniken für verteilte Objekte und Komponenten systematisch erklärt, Modellierungssprachen vorstellt und konkrete Fallstudien zur Verifikation liefert.