1
Vydáno 2006
Obsah: ... -- Communication and Cooperation -- Performative Patterns for Designing Verifiable ACLs -- Enabling Mobile Agents...
Získat plný text
Elektronický zdroj E-kniha
2
Vydáno 2010
Obsah: ...Invited Talks -- A Structure for Dependability Arguments -- Formal Probabilistic Analysis: A Higher...
Získat plný text
Elektronický zdroj E-kniha
Vyhledávací nástroje: RSS Poslat emailem Uložit hledání