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
06-09-2026 08:07:43
Gesponsert
Medimops DE
Formal Techniques for Distributed Objects, Components, and Systems (Lecture Notes in Computer Science, Band 10854)
Medimops DE
07-09-2026 05:48:34
Gesponsert
SpringerLink DE
Formal Techniques for Distributed Objects, Components, and Systems
SpringerLink DE
07-09-2026 11:14:03
