John W. McCormick

Building High Integrity Applications with SPARK

This is the first introduction to the SPARK 2014 language and the tools to verify programs for safety- and security-critical applications....

Building Parallel, Embedded, and Real-Time Applications with Ada

The arrival and popularity of multi-core processors has sparked a renewed interest in the development of parallel programs. Similarly, the availabilit...

Programming and Problem Solving with ADA 95

Programming and Problem Solving with Ada 95 provides a solid introduction to programming while introducing the capabilities of Ada 95 and its syntax w...

Rivers and Harbors

Speech of Hon. Newton C. Blanchard, of Louisiana, in the House of Representatives, Saturday, January 31, 1885

...