Formal Techniques for Networked and Distributed Systems - FORTE 2002
Das Werk präsentiert die Erkenntnisse der FORTE‑Konferenz 2002 aus Houston und beleuchtet fortschrittliche formale Methoden für verteilte Systeme, von Modellierung über Verifikation bis hin zu Analyseansätzen.
Teilen: ![]()
![]()
![]()
![]()
![]()
![]()
Medimops DE
Gesponsert
SpringerLink DE
Formal Techniques for Networked and Distributed Systems - FORTE 2002
SpringerLink DE
23-04-2026 20:39:10
Gesponsert
Galaxus.de
Formal Techniques for Networked and Distributed Systems - FORTE 2002, Fachbücher von Doron A. Peled, Moshe Y. Vardi
Galaxus.de
23-04-2026 14:29:01
