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...
Amazon Digital Services LLC, 2018. — 120 р. Do You Want to Become An Expert Of PYTHON AND RASPBERRY PI 3 ? Get this Book and Follow My Step by Step Explanations! PYTHON Python language is widely used all over the globe. Its popularity is because of its characteristics and many advantages attached to it. Some of the major advantages are as follows: Easy-to-Learn, Read and...
Комментарии