Guide to Software Verification with Frama-C (a popular open-source toolset for analysis and verification of C programs, largely used for teaching, experimental research, and industrial applications) #book
https://link.springer.com/book/10.1007/978-3-031-55608-1
https://link.springer.com/book/10.1007/978-3-031-55608-1
SpringerLink
Guide to Software Verification with Frama-C
This book provides a rich and helpful source of information to the university professors and students taking courses in software analysis
Asynchronous Programming with C++: Build blazing-fast software with multithreading and asynchronous programming for ultimate efficiency #book
https://www.packtpub.com/en-ru/product/asynchronous-programming-with-c-9781835884256
https://www.packtpub.com/en-ru/product/asynchronous-programming-with-c-9781835884256
Packt
Asynchronous Programming with C++ | Programming | eBook
Build blazing-fast software with multithreading and asynchronous programming for ultimate efficiency. Instant delivery. Top rated Programming products.
Minimal CMake: Learn the best bits of CMake to create and share your own libraries and applications #book
https://www.packtpub.com/en-ru/product/minimal-cmake-9781835080658
https://www.packtpub.com/en-ru/product/minimal-cmake-9781835080658
Packt
Minimal CMake | Programming | eBook
Learn the best bits of CMake to create and share your own libraries and applications. Instant delivery. Top rated Programming products.
100 C++ Mistakes and How to Avoid Them #book
https://www.manning.com/books/100-c-plus-plus-mistakes-and-how-to-avoid-them
https://www.manning.com/books/100-c-plus-plus-mistakes-and-how-to-avoid-them
Manning Publications
100 C++ Mistakes and How to Avoid Them - Rich Yonts
Learn how to handle errors, inefficiencies, and outdated paradigms by exploring the most common mistakes you’ll find in production C++ code.
Concurrent Programming Interviews by Bonan Liu #book
Key topics include mutexes and locks, condition variables, thread abstraction, STL features, and lock-free implementations, with each concept reinforced through practical exercises like building a file handler cache and implementing read/write locks.
https://link.springer.com/book/10.1007/979-8-8688-1198-2
Key topics include mutexes and locks, condition variables, thread abstraction, STL features, and lock-free implementations, with each concept reinforced through practical exercises like building a file handler cache and implementing read/write locks.
https://link.springer.com/book/10.1007/979-8-8688-1198-2
SpringerLink
Concurrent Programming Interviews
Master concurrent programming in C++ to ace your software interviews and effectively showcase your skills with Concurrent Programming Interviews.
Vulkan 3D Graphics Rendering Cookbook: Implement expert-level techniques for high-performance graphics with Vulkan, 2nd edition #book
https://www.packtpub.com/en-us/product/vulkan-3d-graphics-rendering-cookbook-9781803236612
https://www.packtpub.com/en-us/product/vulkan-3d-graphics-rendering-cookbook-9781803236612
Packt
Vulkan 3D Graphics Rendering Cookbook | Game Development | eBook
Implement expert-level techniques for high-performance graphics with Vulkan. 4 customer reviews. Instant delivery. Top rated Game Development products.
C++ Memory Management: Write leaner and safer C++ code using proven memory-management techniques #book
https://www.packtpub.com/en-us/product/c-memory-management-9781805128243
https://www.packtpub.com/en-us/product/c-memory-management-9781805128243
Packt
C++ Memory Management | Programming | eBook
Write leaner and safer C++ code using proven memory-management techniques. 2 customer reviews. Instant delivery. Top rated Programming products.
Mastering C++ Game Animation Programming: Enhance your skills with advanced game animation techniques in C++, #OpenGL, and #Vulkan #book
https://www.packtpub.com/en-us/product/mastering-c-game-animation-programming-9781835881934
https://www.packtpub.com/en-us/product/mastering-c-game-animation-programming-9781835881934
Packt
Mastering C++ Game Animation Programming | Game Development | eBook
Enhance your skills with advanced game animation techniques in C++, OpenGL, and Vulkan. Instant delivery. Top rated Game Development products.
Glaze: JSON and reflection library for modern C++ https://github.com/stephenberry/glaze
GitHub
GitHub - stephenberry/glaze: Extremely fast, in memory, serialization, reflection, and RPC library for C++. JSON, BEVE, BSON, CBOR…
Extremely fast, in memory, serialization, reflection, and RPC library for C++. JSON, BEVE, BSON, CBOR, CSV, JSONB, MessagePack, TOML, YAML, EETF - stephenberry/glaze
Why Learn C. Go Behind the Curtain of Modern Systems with C23 #book
https://link.springer.com/book/10.1007/979-8-8688-1597-3
https://link.springer.com/book/10.1007/979-8-8688-1597-3
SpringerLink
Why Learn C
This book teaches C23 while also building a foundation that strengthens your programming skills regardless of what language you normally program in.
C Programming for System, Network, and Cloud Engineers: Techniques for Processes, Memory, Network Applications, and Linux Namespaces #book
https://link.springer.com/book/10.1007/979-8-8688-1805-9
https://link.springer.com/book/10.1007/979-8-8688-1805-9
SpringerLink
C Programming for System, Network, and Cloud Engineers
Master essential C programming skills to develop efficient and reliable system software and apps, designed for system, network and cloud engineers.
Designing Deterministic Systems with Modern C++ #book
https://leanpub.com/designingdeterministicsystems
https://leanpub.com/designingdeterministicsystems
Leanpub
Designing Deterministic Systems with Modern C++
C++ AUTOPSY #book
Ten C++ investigations into programs that compiled clean, ran perfectly, and still got the answer wrong. A forensic journey through the bugs that hide in plain sight.
https://leanpub.com/cautopsy
Ten C++ investigations into programs that compiled clean, ran perfectly, and still got the answer wrong. A forensic journey through the bugs that hide in plain sight.
https://leanpub.com/cautopsy
Leanpub
C++ AUTOPSY
A forensic casebook of ten C++ bugs that compiled, ran, and lied. Investigate real defects involving memory, concurrency, undefined behavior, and hidden language traps — with real tool output and verified fixes.