Computers / Programming / Microsoft
Showing results 1-1 of 1
Filter Results OPEN +
Program Proofs
ISBN: 9780262546232
Publisher: The MIT Press
Pub Date: March 7, 2023
This comprehensive and highly readable textbook teaches students how to formally reason about computer programs using an incremental approach and the verification-aware programming language Dafny.
Program Proofs
ISBN: 9780262546232
Publisher: The MIT Press
Pub Date: March 7, 2023
This comprehensive and highly readable textbook teaches students how to formally reason about computer programs using an incremental approach and the verification-aware programming language Dafny.