Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Approach
45.00 EUR
Ein umfassendes Fachbuch über die formale Verifikation von Koordinationsprozessen, das Automata-Theorie einsetzt, um Interaktionsfehler systematisch zu erkennen und zu beheben.
Teilen: ![]()
![]()
![]()
![]()
![]()
![]()
Gesponsert
Medimops DE
Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Approach (Princeton Legacy Library)
Medimops DE
23-04-2026 19:32:48
Ähnliche Produkte
Computer Aided Verification
105.94 EUR
Computer-Aided Verification
149.84 EUR
Computer Aided Verification
42.79 EUR
Computer Aided Verification
42.79 EUR
Computer Aided Verification
42.79 EUR
