Formal Techniques for Distributed Objects, Components, and Systems
70.40 EUR68.48 EUR3% Off
Dieses Buch liefert einen tiefgehenden Einblick in formale Techniken für verteilte Objekte und Komponenten, erklärt mathematische Modelle und zeigt Schritt‑für‑Schritt, wie man Sicherheit und Korrektheit von Systemen beweist.