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
Forhandlerinformation
Om
Booktok er en online boghandel med et stort udvalg af bøger til lave priser. Vi tilbyder hurtig levering og fri fragt ved køb over 499 kr. Vi har alt fra bestsellers og nyheder til et bredt udvalg af genrer for alle aldre.
Dansk webshop