Gå direkt till innehållet
  1. Böcker
  2. Böcker på engelska

Adapting Proofs-as-Programs

1 875 kr
Lägsta pris på PriceRunner

We will give two novel - plications of proofs-as-programs to large-scale, coarse-grain software engine- ing problems: contractual imperative program synthesis and structured p- gram synthesis.

Undertitel
The Curry--Howard Protocol
ISBN
9781441920140
Språk
engelska
Vikt
281 gram
Utgivningsdatum
2010-11-19
Sidor
420