Bokus

Kaleb Leino – författare

Visar alla böcker från författaren Kaleb Leino. Handla med fri frakt och snabb leverans.

1 produkter

  1. K. Rustan M. Leino, Kaleb Leino - Program Proofs, Häftad. Tillgänglighet: Lägg i varukorg

    Program Proofs

    Av K. Rustan M. Leino, Kaleb Leino

    Häftad, 2023

    893 kr

    Lägg i varukorg

    This comprehensive and highly readable textbook teaches how to formally reason about computer programs using an incremental approach and the verification-aware programming language Dafny. Program Proofs shows students what it means to write specifications for programs, what it means for programs to …