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
21-04-2026 16:52:10
Gesponsert
SpringerLink DE
Formal Techniques for Distributed Objects, Components, and Systems
SpringerLink DE
21-04-2026 21:03:08
Gesponsert
Galaxus.de
Formal Techniques for Distributed Objects, Components, and Systems, Fachbücher von Luís Caires, Christel Baier
Galaxus.de
21-04-2026 20:27:58
