Concurrency Verification: Introduction to Compositional and Non-compositional Methods (Cambridge Tracts in Theoretical Computer Science)
273.80 EUR
Ein praxisnaher Einstieg in die Verifikation von Nebenläufigkeit, der sowohl kompositionsbasierte als auch nicht-kompositionale Ansätze erläutert und anhand konkreter Fallstudien demonstriert.
Teilen: ![]()
![]()
![]()
![]()
![]()
![]()
Gesponsert
Medimops DE
Concurrency Verification: Introduction to Compositional and Non-compositional Methods (Cambridge Tracts in Theoretical Computer Science)
Medimops DE
19-06-2026 20:24:12
Ähnliche Produkte
Pro Functional PHP Programming
45.85 EUR
