von
Preis unbekannt
Gilles Barthe
DJ Java MIDP Scala Session Web Services access control anonymity authorization logic calculi design distributed computing global computing programming verification