|
|
libcats.org
Главная →
FM 2006: Formal Methods: 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, ProceedingsFM 2006: Formal Methods: 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, ProceedingsJayadev Misra, Tobias Nipkow, Emil SekerinskiThis book presents the refereed proceedings of the 14th International Symposium on Formal Methods, FM 2006, held in Hamilton, Canada in August 2006. The 36 revised full papers presented together with 2 invited contributions and extended abstracts of 7 invited industrial presentations were carefully reviewed and selected from 145 submissions. The papers are organized in topical sections on interactive verification, formal modelling of systems, real time, industrial experience, specification and refinement, programming languages, algebra, education, formal modelling of systems, formal aspects of java, model checking, and abstracts of invited talks from the industry day.
Скачать книгу бесплатно (pdf, 6.76 Mb)
Читать «FM 2006: Formal Methods: 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings» EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
Проектирование и строительство. Дом, квартира, садАвтор: Петер Нойферт, Автор: Людвиг Нефф
Размер книги: 20.83 Mb
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Радиолюбительские схемы на ИС типа 555Автор: Трейстер Р.Категория: Электротехника и связь
Размер книги: 13.64 Mb
Только что пользователи скачали эти книги:
Василь Быков. Маленький красный цветочек (fb2)Автор: Быков ВасильКатегория: Классическая проза
Размер книги: 6 Kb
Наум Давидович Фогель. Гипнотрон профессора Браилова (научно-фантастическая повесть)Автор:
Размер книги: 287 Kb
Рождение миров. Происхождение планетной системы СолнцаАвтор: Климов Юрий АндреевичКатегория: Физико-математические науки: астрономия
Размер книги: 3.88 Mb
Spirals: From Theodorus to ChaosАвтор: Philip J. Davis, Автор: Walter Gautschi, Автор: Arieh IserlesКатегория: M_Mathematics, MSch_School-level
Размер книги: 2.30 Mb
Всероссийские конкурсы инновационных проектов студентов и аспирантов по информационно-коммуникационным технологиямАвтор: Абрамов А.Г., Автор: Сергеев А.О., Автор: Сигалов А.В., Автор: Скуратов А.К.Категория: Информатика и информационные технологии
Размер книги: 217 Kb
The power of mythАвтор: Campbell Joseph, Автор: Moyers Bill D, Автор: Flowers Betty SueКатегория: fiction
Размер книги: 263 Kb
|
|
|