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
Galaxus.de
Formal Techniques for Distributed Objects, Components, and Systems, Fachbücher von Christel Baier, Luís Caires
Galaxus.de
24-07-2026 12:13:37
Gesponsert
Medimops DE
Formal Techniques for Distributed Objects, Components, and Systems (Lecture Notes in Computer Science, Band 10854)
Medimops DE
23-07-2026 16:51:24
Gesponsert
SpringerLink DE
Formal Techniques for Distributed Objects, Components, and Systems
SpringerLink DE
24-07-2026 10:36:10
