Formal Techniques for Distributed Objects, Components, and Systems | DealShopping Deutschland

Formal Techniques for Distributed Objects, Components, and Systems

70.40 EUR 68.48 EUR 3% 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.

Teilen: