Doporučená témata ve výsledcích tohoto hledání:
Doporučená témata ve výsledcích tohoto hledání:
Alternativní vyhledávání:
foundations security » functions security, foundations secure, comunications security
program foundations » program foundation, problem foundations, program conditions
parallel java » parallel data, parallel scara, parallel a
java program » java programs, a program, java programming
https » http
foundations security » functions security, foundations secure, comunications security
program foundations » program foundation, problem foundations, program conditions
parallel java » parallel data, parallel scara, parallel a
java program » java programs, a program, java programming
https » http
1
Vydáno 2008
Obsah:
“... Parallelism in Haskell -- Minimal Ownership for Active Objects -- Type-Based Deadlock-Freedom Verification...”Získat plný text
Elektronický zdroj
E-kniha
2
Vydáno 2014
Obsah:
“... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”Získat plný text
Elektronický zdroj
E-kniha