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.