Tópicos Sugeridos dentro de su búsqueda.
Tópicos Sugeridos dentro de su búsqueda.
Buscar alternativas:
conditional programming » additional programming, functional programming, nutritional programming
functions conditional » functions functional, functional conditioning, functions computational
programming decisions » programming decision, programming design, programming session
david tools » david woolls, aid tools, david pool
conditional programming » additional programming, functional programming, nutritional programming
functions conditional » functions functional, functional conditioning, functions computational
programming decisions » programming decision, programming design, programming session
david tools » david woolls, aid tools, david pool
1
Publicado 2010
Tabla de Contenidos:
“... Definitions of DDL to Support Occlusions and Conditional Post-conditions -- Preservative Translations between...”Enlace del recurso
Electrónico
eBook
2
Publicado 2007
Tabla de Contenidos:
“...Invited Talks -- Automatically Proving Program Termination -- A Mathematical Approach to RTL...”Enlace del recurso
Electrónico
eBook