This book is about the use of techniques and tools for the design and implementation of computer systems and software that are free from logical or functional flaws (in the sense of functional requirements). The word rigorous in the title of this book is justified by the fact that the arguments for such fault freeness have their roots...

Scalability Rules is the easy-to-use scalability primer and reference for every architect, developer, web professional, and manager. Authors Martin L. Abbott and...

This book provides a general introduction to Bayesian networks,...

In industrial settings, using modern technology, machinery, and integrated systems to their maximum potential often depends on well-designed automation software. As tech-nologies continually develop and evolve, practicing engineers and academic researchers must continually develop the software to run these technologies. Modern Industrial...

There are a myriad of quality and reliability tools available to corporations worldwide, but the one that shows up consistently in company after company is Failure Mode and...

• Use Elixir to solve common problems associated with scalability, concurrency, fault tolerance, and high availability
• From command line to external API interaction, experience the joy...