Pesquisas alternativas:
programme function » programming function, programme action, programs functional
proof programme » food programme, book programme, proofs programs
parallel proof » parallel prolog, parallel probe, parallel bloom
function java » function jane, function jason, function james
https » http
1
Publicado em 2013
Sumário: ...Beautiful Code, Beautiful Proof? -- Beauty and Code -- An Ontology of States -- Functional Type...
Obter o texto integral
Recurso Electrónico livro electrónico
2
Publicado em 2013
Sumário: ... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...
Obter o texto integral
Recurso Electrónico livro electrónico
3
Publicado em 2015
Sumário: ... for Static Deadlock Prevention -- Automatically Partitioning Data to Facilitate the Parallelization...
Obter o texto integral
Recurso Electrónico livro electrónico