Program Proofs - K. Rustan M. Leino - Paperback Bog - MIT Press Ltd - 2023 - Engelsk - Booktok.dk

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

Varenr.:

132932

Levering:

1-3 dage

Oplysningerne kommer fra Booktoks aktuelle produktdata.