von
Preis unbekannt
Ugo Montanari
Bisimulation Simulation XML algorithm algorithms anonymity authentication calculi dependable computing global computing graph transformation logic model transformation model-base modeling