"Reliable Software Technologies - Ada-Europe 2010: 15th Ada-Europe International Conference on Reliabel Software Technologies, Valencia, Spain, June ... Programming and Software Engineering)" - читать интересную книгу автора (Jorge Real, Tullio Vardanega)