Chip Weems

Nell B. Dale

John W. McCormick

Programming and Problem Solving with Ada 95 provides a solid introduction to programming while introducing the capabilities of Ada 95 and its syntax without overwhelming the student. The book focuses on the development of good programming habits. This text offers superior pedagogy that has long defined computer science education, including problem solving case studies, testing and debugging sections, quick checks, exam preparation, programming warm-up exercises, and programming problems. The extensive coverage of material in such a student-friendly resource means that more rigor, more theory, greater use of abstraction and modeling, and the earlier application of software engineering principles can be employed.

Programming and Problem Solving with ADA 95

Peter C. Chapin

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

John W. McCormick

Books

Your next favorite book is out there