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

Adapting Proofs-as-Programs

207,80 €

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
Upplaga
2005
ISBN
9780387237596
Språk
engelska
Vikt
518 gram
Utgivningsdatum
21.6.2005
Sidor
420

Adapting Proofs-as-Programs - Iman Poernomo, Crossley John N., Wirsing Martin - Inbunden (9780387237596) | Adlibris nätbokhandel