Formal Methods for Open Object-Based Distributed Systems V
Ein praxisnahes Nachschlagewerk zu formalen Techniken für offene, objektbasierte verteilte Systeme, das die neuesten Erkenntnisse der fünften IFIP-Konferenz bündelt und konkrete Modellierungsbeispiele liefert.
Teilen: ![]()
![]()
![]()
![]()
![]()
![]()
Medimops DE
Gesponsert
Hugendubel
Formal Methods for Open Object-Based Distributed Systems V
Hugendubel
28-09-2026 10:52:44
Gesponsert
Galaxus.de
Formal Methods for Open Object-Based Distributed Systems V, Fachbücher von Arend Rensink, Bart Jacobs
Galaxus.de
30-09-2026 00:40:42
Gesponsert
SpringerLink DE
Formal Methods for Open Object-Based Distributed Systems V
SpringerLink DE
02-10-2026 06:07:16
