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í:
program solving » programs solving, program moving, program serving
program python » program path, program paths, program potong
python program » python programs, action program, python programming
program solving » programs solving, program moving, program serving
program python » program path, program paths, program potong
python program » python programs, action program, python programming
1
Obsah:
“... Unreliable Channels -- Programs, Semantics and Effective Atomicity -- Implements and Compositionality -- SESF...”
Získat plný text
Získat plný text
Elektronický zdroj
E-kniha
2
Vydáno 2013
Obsah:
“...Invited Papers -- Executing Specifications using Synthesis and Constraint Solving -- Runtime...”Získat plný text
Elektronický zdroj
E-kniha