Εναλλακτικές αναζητήσεις:
proof javascript » pro javascript, party javascript, prototype javascript
function proof » functions proof, functions proofs, function probe
https » http
https* » http*
1
Έκδοση 2015
Πίνακας περιεχομένων: ... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο