Pynciau a Argymhellir O fewn eich chwiliad
Pynciau a Argymhellir O fewn eich chwiliad
Chwilio eraill:
interface expression » interface regression, interval expression, interference expression
program constructing » program construction, diagram constructing, programs conducting
expression proving » expression profiling, expression prolongs, expression proteins
constructing https » construction https, consulting https, constructing better
proving program » improving program, proven program, writing program
interface expression » interface regression, interval expression, interference expression
program constructing » program construction, diagram constructing, programs conducting
expression proving » expression profiling, expression prolongs, expression proteins
constructing https » construction https, consulting https, constructing better
proving program » improving program, proven program, writing program
1
Cyhoeddwyd 2005
Tabl Cynhwysion:
“...Architectures, Design and Interfaces -- Incremental Software Construction with Refinement Diagrams...”Cael y testun llawn
Electronig
eLyfr
2
Cyhoeddwyd 2006
Tabl Cynhwysion:
“... for Graph and Petri Net Transformations -- From OBJ to Maude and Beyond -- Constructive Action Semantics...”Cael y testun llawn
Electronig
eLyfr
3
Cyhoeddwyd 2007
Tabl Cynhwysion:
“...Invited Talks -- Automatically Proving Program Termination -- A Mathematical Approach to RTL...”Cael y testun llawn
Electronig
eLyfr