|
|
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
Момент истины (В августе сорок четвертого...)Автор: Богомолов Владимир ОсиповичКатегория: О войне
Размер книги: 1.83 Mb
Только что пользователи скачали эти книги:
Periodic Solutions of the N-Body ProblemАвтор: Kenneth R. MeyerКатегория: Physics, Dynamical systems
Размер книги: 890 Kb
Organic SynthesesАвтор: Heathcock C.H., Автор: Meyers A.I., Автор: Smart B.E. (eds.)
Размер книги: 5.03 Mb
Multiphase Flow Handbook (Mechanical Engineering Series)Автор: Clayton T. Crowe
Размер книги: 13.98 Mb
The American Psychiatric Publishing Textbook of Suicide Assessment And ManagementАвтор: Robert I. Simon, Автор: Robert E. HalesКатегория: Психология
Размер книги: 6.15 Mb
Structural Analysis: A Unified Classical and Matrix ApproachАвтор: Amin Ghali, Автор: Adam Neville, Автор: Tom G. Brown
Размер книги: 42.74 Mb
|
|
|