As a programmer working for Logica UK in London in the mid-1980’s, I became a passionate advocate of formal methods. Extrapolating from small successes with VDM and JSP, I was sure that widespread use of formal methods would bring an end to the software crisis.

One approach especially intrigued me. John Guttag and Jim...

This new edition of a successful, bestselling book continues to provide you with practical information on the use of statistical methods for solving real-world problems in complex industrial environments. Complete with examples from the chemical and pharmaceutical laboratory and manufacturing areas, this thoroughly updated book clearly...

Graphics Shaders: Theory and Practice is intended for a second course in computer graphics at the undergraduate or graduate level, introducing shader programming in general, but focusing on the GLSL shading language. While teaching how to write programmable shaders, the authors also teach and reinforce the fundamentals of...