|
|
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
Только что пользователи скачали эти книги:
Вышиваем аксессуары гладью и бисеромАвтор: Анна ЧудновскаяКатегория: Рукоделие, Бисероплетение
Размер книги: 3.94 Mb
Practical CakePHP ProjectsАвтор: Kai Chan, Автор: John Omokore, Автор: Richard MillerКатегория: programming_development
Размер книги: 2.50 Mb
Velocities and Anisotropy in Seismic. What they are, how to measure them, how to use themАвтор: Robein E.
Размер книги: 57.64 Mb
Enjoy English Книга для учителя к учеб. для 5-6 клАвтор: Биболетова М.З., Автор: Трубанева Н.Н.Категория: учебное пособие
Размер книги: 108.34 Mb
Shooter: The Autobiography of the Top-Ranked Marine SniperАвтор: Jack Coughlin, Автор: Casey Kuhlman, Автор: Donald A. Davis
Размер книги: 1.05 Mb
Fundamentals of Database Systems (6th Edition)Автор: Ramez Elmasri, Автор: Shamkant Navathe
Размер книги: 5.72 Mb
|
|
|