|
|
libcats.org
Integrated Formal Methods, 6 conf., IFM 2007Jim Davies, Jeremy GibbonsThis book constitutes the refereed proceedings of the 6th International Conference on Integrated Formal Methods, IFM 2007, held in Oxford, UK in July 2007. The 32 revised full papers presented together with 1 invited paper were carefully reviewed and selected from 85 submissions. The papers address all aspects of formal methods integration, including of a process of analysis or design application of formal methods to analysis or design, extension of one method, based upon the inclusion of ideas or concepts from others, informal or semi-formal modelling languages, tools, or techniques, and semantic integration or practical application. EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
Проектирование и строительство. Дом, квартира, садАвтор: Петер Нойферт, Автор: Людвиг Нефф
Размер книги: 20.83 Mb
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Радиолюбительские схемы на ИС типа 555Автор: Трейстер Р.Категория: Электротехника и связь
Размер книги: 13.64 Mb
Только что пользователи скачали эти книги:
Физика: Учеб. пособие: Электродинамика. ОптикаАвтор: Бутиков Е.И., Автор: Кондратьев А.С.Категория: Physics, School-level
Размер книги: 2.77 Mb
Академия домашних волшебниковАвтор: Сахарова СаидаКатегория: Пособия самодельщикам
Размер книги: 1.09 Mb
Справочник сталкера. Азбука выживания. Научно-популярное издание. Путеводитель сталкераАвтор: Чернобров Вадим Александрович при участии Петухова Александра Борисовича и Соболева Ивана АнатольевичаКатегория: мистика, аномальные явления
Размер книги: 8.75 Mb
|
|
|