Program Proofs - K. Rustan M. Leino - Paperback Bog - MIT Press Ltd - 2023 - Engelsk - Booktok.dk
MIT Press Ltd•Bog
692 kr
På lagerLeveringstid: 1-3 dage
Produktbeskrivelse
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...
Se fuld beskrivelse hos forhandler →Produktspecifikationer
Mærke: MIT Press Ltd
Varenr.: 132932
Prissammenligning er ikke tilgængelig for dette produkt. Besøg Booktok eller søg efter alternativer
