Podobne hasła w twoim wyszukiwaniu.
Podobne hasła w twoim wyszukiwaniu.
Inne możliwości wyszukiwania:
programming proof » programming problem, programming program, programming project
java programming » c programming
proof function » roof functions, proof auction, profit function
function https » functions https, fiction https
parallel java » parallel data, parallel scara, parallel a
programming proof » programming problem, programming program, programming project
java programming » c programming
proof function » roof functions, proof auction, profit function
function https » functions https, fiction https
parallel java » parallel data, parallel scara, parallel a
1
Wydane 2013
Spis treści:
“...Beautiful Code, Beautiful Proof? -- Beauty and Code -- An Ontology of States -- Functional Type...”Dokumenty pełnotekstowe
Elektroniczne
E-book
2
Wydane 2013
Spis treści:
“... -- Dependently-typed Programming in Scientific Computing: Examples from economic modelling -- Engineering Proof...”Dokumenty pełnotekstowe
Elektroniczne
E-book
3
Wydane 2005
Spis treści:
“... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”Dokumenty pełnotekstowe
Elektroniczne
E-book
4
Wydane 2015
Spis treści:
“... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...”Dokumenty pełnotekstowe
Elektroniczne
E-book
5
Wydane 2013
Spis treści:
“... -- Increasing Confidence in Liveness Model Checking Results with Proofs Speeding Up the Safety Verification...”Dokumenty pełnotekstowe
Elektroniczne
E-book
6
Wydane 2014
Spis treści:
“... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”Dokumenty pełnotekstowe
Elektroniczne
E-book