von
Preis unbekannt
Includes supplementary material: sn.pub/extras
Marina Papatriantafilou
Middleware algorithm algorithms distributed systems modeling real-time verification