Formal Techniques for Distributed Objects, Components, and Systems
Dieses Buch liefert praxisnahe Techniken für die formale Analyse verteilter Objekte und Komponenten, erklärt Modellierungsmethoden, Verifikationsstrategien und bietet Fallstudien aus realen Systemen.
Teilen: ![]()
![]()
![]()
![]()
![]()
![]()
Gesponsert
Hugendubel
Formal Techniques for Distributed Objects Components and Systems
Hugendubel
29-10-2026 07:58:37
Gesponsert
Galaxus.de
Formal Techniques for Distributed Objects, Components, and Systems, Fachbücher von Luís Caires, Christel Baier
Galaxus.de
29-10-2026 14:36:16
Gesponsert
Medimops DE
Formal Techniques for Distributed Objects, Components, and Systems (Lecture Notes in Computer Science, Band 10854)
Medimops DE
28-10-2026 17:46:56
Gesponsert
SpringerLink DE
Formal Techniques for Distributed Objects, Components, and Systems
SpringerLink DE
28-10-2026 06:13:17
