Pragmatic Engineering

This book provides a structured methodology and scientific basis for engineering injection molds. T

The technology of mechanized program verification can play a supporting role in many kinds of research projects in computer science, and related tools for formal proof-checking are seeing increasing adoption in mathematics and engineering. This book provides an introduction to the Coq software for writing and checking mathematical proofs. It takes a practical engineering focus throughout, emphasizing techniques that will help users to build, understand, and maintain large Coq developments and minimize the cost of code change over time.

by Thomas Howard Blair (Author)
Energy Production Systems Engineering presents IEEE, Electrical Apparatus Service Association (EASA), and International Electrotechnical Commission (IEC) standards of engineering systems and equipment in utility electric generation stations.

This course serves as a descriptive, in-depth guideline for pragmatic unit testing.

Authors: Knodel, Jens, Naab, Matthias
Presents the lessons learned from more than 75 architecture evaluation projects with industrial customers
Provides comprehensive answers to more than 100 typical questions and discusses more than 60 frequent mistakes and lessons learned
Written in a style accessible to both professionals and researchers and offers a balance of quantitative measurement and qualitative expertise