Formal Methods for Distributed System Development
Ein Leitfaden, der die neuesten formalen Techniken aus der IFIP TC6 WG6.1-Konferenz in verständlicher Sprache zusammenfasst und zeigt, wie man sie in verteilten Systemen praktisch einsetzt.
Teilen: ![]()
![]()
![]()
![]()
![]()
![]()
Medimops DE
Gesponsert
Galaxus.de
Formal Methods for Distributed System Development, Fachbücher von Tommaso Bolognesi, Diego Latella
Galaxus.de
28-07-2026 04:46:10
SpringerLink DE 
