"Reliable Software Technologies - Ada-Europe 2007: 12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, June ... (Lecture Notes in Computer Science)" - читать интересную книгу автора (Nabil Abdennahder, Fabrice Kordon)