Tópicos Sugeridos dentro de su búsqueda.
Tópicos Sugeridos dentro de su búsqueda.
Buscar alternativas:
interface verification » interface specification, inference verification, interactive verification
verification program » verification problems, verification process, verification proving
forms constructing » forms construction, forms constructive, jones constructing
constructing https » construction https, consulting https, constructing better
program forms » programs norms, program focus, programs formal
interface verification » interface specification, inference verification, interactive verification
verification program » verification problems, verification process, verification proving
forms constructing » forms construction, forms constructive, jones constructing
constructing https » construction https, consulting https, constructing better
program forms » programs norms, program focus, programs formal
1
Publicado 2008
Tabla de Contenidos:
“... -- ML Modules and Haskell Type Classes: A Constructive Comparison -- The Essence of Form Abstraction...”Enlace del recurso
Electrónico
eBook
2
Publicado 2015
Tabla de Contenidos:
“... Cooperative Programming Language to automate cooperative processes -- Engineering Data Intensive Applications...”Enlace del recurso
Electrónico
eBook
3
Tabla de Contenidos:
“... -- Disjunctive Normal Form -- Hardware -- Digital Gates and Circuits -- Some Basic Circuits -- Clocked Circuits...”
Enlace del recurso
Enlace del recurso
Electrónico
eBook