Over 10 mio. titler Fri fragt ved køb over 499,- Hurtig levering 30 dages retur
Studiebog
Paperback version af Adapting Proofs-as-Programs af John N. Crossley, Iman Poernomo, Martin Wirsing

Adapting Proofs-as-Programs

Af
Bog E-bog
  • Format
  • Bog, paperback
  • Engelsk

Normalpris

kr. 1.259,95

Medlemspris

kr. 1.194,95
  • Du sparer kr. 65,00
  • Fri fragt
Som medlem af Saxo Premium 20 timer køber du til medlemspris, får fri fragt og 20 timers streaming/md. i Saxo-appen. De første 7 dage er gratis for nye medlemmer, derefter koster det 99,-/md. og kan altid opsiges. Løbende medlemskab, der forudsætter betaling med kreditkort. Fortrydelsesret i medfør af Forbrugeraftaleloven. Mindstepris 0 kr. Læs mere

Beskrivelse

This monograph details several important advances in the direction of a practical proofs-as-programs paradigm, which constitutes a set of approaches to developing programs from proofs in constructive logic with applications to industrial-scale, complex software engineering problems. One of the books central themes is a general, abstract framework for developing new systems of programs synthesis by adapting proofs-as-programs to new contexts.

Læs hele beskrivelsen
Detaljer
Størrelse og vægt
  • Vægt658 g
  • Dybde2,4 cm
    • coffee cup img
    10 cm
    book img
    15,5 cm
    23,5 cm

    Anmeldelser

    Vær den første!

    Log ind for at skrive en anmeldelse.

    Findes i disse kategorier...