J. Barnes tous les livres
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 embedd...
(paru le 03/10/2006, consulté 3900 fois)
High integrity software
"This book is indispensable to the serious SPARK
user, giving a complete description of the enhanced SPARK
language and analysis capabilities." --Phil Thornley, Specialist in Safety Critical Software,
BAE Systems.
"The SPARK approach provides a means by ...
(paru le 26/03/2003, consulté 3852 fois)
Programmer en Ada 95
Écrit par un membre clé de l'équipe qui a conçu Ada, Programmer en Ada 95 est destiné à
devenir le livre de cours et de référence des programmeurs
et des étudiants. Dans cette nouvelle édition, John
Barnes a révisé et mis à jour ce classique. Avec l'avène...
(paru le 10/01/2000, consulté 5246 fois)