|
|
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
Только что пользователи скачали эти книги:
Is Your Genius at Work?: 4 Key Questions to Ask Before Your Next Career MoveАвтор: Dick Richards
Размер книги: 1.66 Mb
Professional Linux Kernel ArchitectureАвтор: Wolfgang MauererКатегория: Linux
Размер книги: 13.71 Mb
I and You and Don't Forget Who: What Is a Pronoun?Автор: Brian P. Cleary, Автор: Brian GableКатегория: eLearning_book, languages
Размер книги: 4.68 Mb
Все войны мировой истории (по Харперской энциклопедии военной истории Р. Э. Дюпюи и Т. Н. Дюпюи): 3500 г. до Р. Х.— 1000 г. от Р. Х.Автор:Категория: Военная история
Размер книги: 55.02 Mb
Эфирный ветер: Сборник статей. Научное изданиеАвтор: Ацюковский Владимир Акимович, Автор: Под редакцией В.А.Ацюковского. Составитель: В.А.Ацюковский.Категория: транспорт
Размер книги: 13.71 Mb
Исследование элементарных логических элементов: Методические указания к лабораторной работе по дисциплине ''Автоматизация технологических процессов'' для студентов специальности 160201 ''Самолето- и вертолетостроение''Автор: Ларин С.Н., Автор: Туробов В.П.
Размер книги: 397 Kb
Empire and Elites after the Muslim Conquest: The Transformation of Northern Mesopotamia (Cambridge Studies in Islamic Civilization)Автор: Chase F. RobinsonКатегория: Образование
Размер книги: 1.39 Mb
|
|
|