Didier Bert & Jonathan P. Bowen 
ZB 2003: Formal Specification and Development in Z and B [PDF ebook] 
Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings

C++ continues to remain relevant despite the advent of many new modern languages. This book dives into the significant features of C++20 ("big four") and C++23, addressing challenges and im …

Concurrency is a powerful technique for developing efficient and lightning- fast software. For instance, concurrency can be used in common applications such as online order processing to speed proces …

Learn proven patterns, techniques, and tricks to take full advantage of the Node.js platform. Master well-known design principles to create applications that are readable, extensible, and that can gr …

A beginner”s guide to simplifying Extract, Transform, Load (ETL) processes with the help of hands-on tips, tricks, and best practices, in a fun and interactive way Key Features

• Explore data …

A new title in the Quest Kids(R) children’s series that was launched by In Easy Steps in 2018, designed to make learning fun for children. Coding with the micro:bit – Create Cool Programming Projects …

Troubleshoot query performance issues, identify anti-patterns in code, and write efficient T-SQL queries Key Features

• Discover T-SQL functionalities and services that help you interact with …

If you are a typical Oracle professional, you don”t have the luxury of time to keep up with new technology and read all the new manuals to understand each new feature of the latest release from Orac …

Vous n’imaginez pas le temps qu’une architecture logicielle bien soignee des le depart peut vous faire gagner. Vous pouvez augmenter fortement la productivite du developpement tout au long du cycle d …

With the aim of simplifying relational database modeling, Database Modeling Step-by-Step presents the standard approach to database normalization and then adds its own approach, which is a more simpl …

Software Maintenance Success Recipes identifies actionable formulas for success based on in-depth analysis of more than 200 real-world maintenance projects. It details the set of factors that are usu …