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í:
interface expression » interface regression, interval expression, interference expression
expression proving » expression profiling, expression prolongs, expression proteins
program constructs » program construction, program constructing, programming constructs
constructs https » construction https, constructs loops, constructs arti
proving program » improving program, proven program, writing program
interface expression » interface regression, interval expression, interference expression
expression proving » expression profiling, expression prolongs, expression proteins
program constructs » program construction, program constructing, programming constructs
constructs https » construction https, constructs loops, constructs arti
proving program » improving program, proven program, writing program
1
Vydáno 2005
Obsah:
“...Architectures, Design and Interfaces -- Incremental Software Construction with Refinement Diagrams...”Získat plný text
Elektronický zdroj
E-kniha
2
Vydáno 2006
Obsah:
“... for Graph and Petri Net Transformations -- From OBJ to Maude and Beyond -- Constructive Action Semantics...”Získat plný text
Elektronický zdroj
E-kniha
3
Vydáno 2007
Obsah:
“...Invited Talks -- Automatically Proving Program Termination -- A Mathematical Approach to RTL...”Získat plný text
Elektronický zdroj
E-kniha