O’Reilly Media, 2014. — 318 p. — ISBN: 978-1-491-90553-1. If you’re passionate about programming and want to get better at it, you’ve come to the right source. Code Craft author Pete Goodliffe presents a collection of useful techniques and approaches to the art and craft of programming that will help boost your career and your well-being. Goodliffe presents sound advice that...
The MIT Press, 2023. — 496 р. — ISBN: 978-0-262-54623-2. 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 satisfy those...
Комментарии