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 
SpringerLink DE
Gesponsert
Galaxus.de
Formal Methods for Distributed System Development, Fachbücher von Diego Latella, Tommaso Bolognesi
Galaxus.de
21-04-2026 19:43:52
