Formal Methods for Distributed System Development
195.84 EUR
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.