Formal Techniques for Networked and Distributed Systems - FORTE 2007

53.49 EUR

Ein Fachband aus der FORTE 2007-Konferenz, der sich mit formalen Methoden für verteilte Netzwerke beschäftigt; er präsentiert neue Theorien zur Modellierung, Analyse und Sicherheitsgarantie in modernen Systemarchitekturen.

Teilen: