Formal Techniques for Networked and Distributed Systems - FORTE 2007 | Kaicus Deutschland

Formal Techniques for Networked and Distributed Systems - FORTE 2007

53.49 EUR

Ein Fachband aus der FORTE 2007-Konferenz, der die Anwendung formaler Techniken auf verteilte Netzwerke untersucht und neue Konzepte zur Modellierung, Analyse und Sicherheitsgarantie vorstellt.

Marke: John Derrick
ISBN: 3540731954
MPN: biography