Programming in ADA 2005

Ada has carved itself a niche in the safety-critical/embedded/real-time areas. It is the language of choice in application areas where reliability, long term maintainability and similar features are very important. Typical of such areas are defence embedded systems, railway signalling, air traffic control and so on. Note especially that SPARK which is very successful for critical systems is based on Ada. No other language really has a suitable underlying structure.This latest edition of the highly successful 'Programming in Ada' has been fully updated to the latest version of the language: Ada 2005.