|
|
libcats.org
Главная →
Reliable Software Technologies Ada-Europe 2000: 5th Ada-Europe International Conference Potsdam, Germany, June 26-30, 2000, ProceedingsReliable Software Technologies Ada-Europe 2000: 5th Ada-Europe International Conference Potsdam, Germany, June 26-30, 2000, ProceedingsHubertus B. Keller, Erhard PlöderederThis book constitutes the refereed proceedings of the 5th International Conference on Reliable Software Technologies, Ada-Europe 2000, held in Potsdam, Germany, in June 2000. The 23 revised full papers presented were carefully reviewed and selected from a large number of submissions. The papers are organized in topical sections on real-time and safety-critical systems, tools, APIs and components, ASIS, risk and reliability management, UML, formal analysis, methods, and software testing.
Скачать книгу бесплатно (pdf, 3.27 Mb)
Читать «Reliable Software Technologies Ada-Europe 2000: 5th Ada-Europe International Conference Potsdam, Germany, June 26-30, 2000, Proceedings » EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Только что пользователи скачали эти книги:
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Ветхий Завет. Курс лекций. Часть IАвтор: Соколов НиколайКатегория: Религиозная литература, Религиоведение
Размер книги: 1.02 Mb
Rossbach and Leuthen 1757: Prussia's Eagle ResurgentАвтор: Simon Millar, Автор: Adam HookКатегория: Исторические
Размер книги: 52.88 Mb
Pump Handbook (Руководство по насосам)Автор: Igor J. Karassik, Автор: Joseph P. Messina, Автор: Paul Cooper, Автор: Charles C. HealdКатегория: English литература
Размер книги: 22.80 Mb
Understanding the world economyАвтор: Tony CleaverКатегория: G_Economics, GI_International
Размер книги: 2.09 Mb
Topics in the Foundations of General Relativity and Newtonian Gravitation TheoryАвтор: Malament, Автор: DavidКатегория: gravitation, gravity, newtonian gravity, general relativity, spacetime, godel's universe, differential geometry
Размер книги: 2.50 Mb
|
|
|