Automata, Languages and Programming: 35th International Colloquium, ICALP 2008 R
126,24 €
The 126 revised full papers presented together with 4 invited lectures were carefully reviewed and selected from a total of 407 submissions. Invited Lectures. - Composable Formal Security Analysis: Juggling Soundness, Simplicity and Efficiency.
Jetzt bei Ebay: