Formal Techniques for Distributed Objects, Components, and Systems
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: ![]()
![]()
![]()
![]()
![]()
![]()
Gesponsert
Galaxus.de
Formal Techniques for Distributed Objects, Components, and Systems, Fachbücher von Nobuko Yoshida, Jorge A. Pérez
Galaxus.de
06-09-2026 08:10:19
Medimops DE
Gesponsert
SpringerLink DE
Formal Techniques for Distributed Objects, Components, and Systems
SpringerLink DE
07-09-2026 11:14:07
