Formal Techniques for Distributed Objects, Components, and Systems
53.49 EUR
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
Medimops DE
Formal Techniques for Distributed Objects, Components, and Systems (Lecture Notes in Computer Science, Band 10854)
Medimops DE
06-06-2026 16:48:22
Gesponsert
SpringerLink DE
Formal Techniques for Distributed Objects, Components, and Systems
SpringerLink DE
07-06-2026 03:43:56
Gesponsert
Galaxus.de
Formal Techniques for Distributed Objects, Components, and Systems, Fachbücher von Luís Caires, Christel Baier
Galaxus.de
06-06-2026 14:40:36
