Formal Techniques for Networked and Distributed Systems - FORTE 2003

53.49 EUR

Ein Fachband, der die Erkenntnisse der FORTE‑2003-Konferenz zu formalen Techniken für vernetzte und verteilte Systeme zusammenfasst; er beleuchtet theoretische Grundlagen, Modellierungsmethoden und praktische Anwendungen in einem klar strukturierten Werk.

Teilen: