|
|
libcats.org
Integrated Formal Methods, 7 conf., IFM 2009Michael Leuschel, Heike WehrheimThis book constitutes the refereed proceedings of the 7th International Conference on Integrated Formal Methods, IFM 2009, held in D?sseldorf, Germany in February 2009. The 21 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 55 submissions. The papers address the whole spectrum of integrated formal methods, ranging from formal and semiformal modelling notations, semantics, verification, refinement, model transformations to type systems, logics, tools and case studies. EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
Тестирование Дот Ком, или Пособие по жестокому обращению с багами в интернет-стартапахАвтор: Роман Савин
Размер книги: 5.26 Mb
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Только что пользователи скачали эти книги:
What Every Parent Needs to Know about Standardized Tests: How to Understand the Tests and Help Your Kids Score High!Автор: Joseph Harris
Размер книги: 1.11 Mb
Family Psychology: The Art of the Science (Oxford Textbooks in Clinical Psychology)Автор: William M. Pinsof, Автор: Jay L. LebowКатегория: Образование
Размер книги: 2.76 Mb
American Mathematical Monthly, volume 116, number 1, january 2009Автор: Daniel J. VellemanКатегория: Математика, Прикладная математика
Размер книги: 1.13 Mb
Microsoft ASP.NET Setup and Configuration Pocket Reference (Developers Pocket Consultants)Автор: James Avery
Размер книги: 3.31 Mb
William Henry Seward and the Secession Crisis: The Effort to Prevent Civil WarАвтор: Lawrence M. Denton
Размер книги: 2.34 Mb
Проектування систем керування на однокристальних мікро-ЕОМ.Автор:Категория: Різне
Размер книги: 110.88 Mb
The Bipolar Disorder Answer Book: Professional Answers to More than 275 Top QuestionsАвтор: Charles Atkins
Размер книги: 1.16 Mb
Французско-русские термины по металлургии.Автор: Составители В.М.Лейчик, Автор: Л.Ф.Калиночкина, Автор: Г.М.Хартова. Под редакцией М.Н.Дорохиной. Ответственный редактор И.И.Убин.
Размер книги: 5.16 Mb
|
|
|