|
|
libcats.org
Главная →
FM 2005: Formal Methods: International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, ProceedingsFM 2005: Formal Methods: International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, ProceedingsJohn Fitzgerald, Ian J. Hayes, Andrzej TarleckiThis book presents the refereed proceedings of the International Symposium of Formal Methods Europe, FM 2005, held in Newcastle, UK, in July 2005. The 31 revised full papers presented together with three invited contributions and extended abstracts of 6 invited industrial presentations were carefully reviewed and selected from 130 submissions. The papers are organized in topical sections on object orientation; resource analysis and verification; timing and testing; CSP, B, and Circus; security; networks and processes; abstraction, retrenchment, and rewriting; scenarios and modeling languages; and model checking.
Скачать книгу бесплатно (pdf, 5.44 Mb)
Читать «FM 2005: Formal Methods: International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings» EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
Проектирование и строительство. Дом, квартира, садАвтор: Петер Нойферт, Автор: Людвиг Нефф
Размер книги: 20.83 Mb
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Радиолюбительские схемы на ИС типа 555Автор: Трейстер Р.Категория: Электротехника и связь
Размер книги: 13.64 Mb
АэрофототопографияАвтор: Добровольский А., Автор: Александров С.Категория: E_Engineering
Размер книги: 10.84 Mb
Только что пользователи скачали эти книги:
Проектирование и строительство. Дом, квартира, садАвтор: Петер Нойферт, Автор: Людвиг Нефф
Размер книги: 20.83 Mb
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Радиолюбительские схемы на ИС типа 555Автор: Трейстер Р.Категория: Электротехника и связь
Размер книги: 13.64 Mb
Handbook of Antennas in Wireless CommunicationsАвтор: Lester Packer, Автор: Enrique Cadenas
Размер книги: 37.19 Mb
Geology and Habitability of Terrestrial PlanetsАвтор: Kathryn E. Fishbaugh, Автор: Phillipe Lognonné, Автор: François Raulin, Автор: David J. Des Marais, Автор: Oleg Korablev, Автор: K.E. Fishbaugh, Автор: D.J. Des Marais, Автор: O. Korablev, Автор: P. Lognonné, Автор: F. Raulin
Размер книги: 7.85 Mb
Клиническая патопсихология Руководство для врачей и медицинских психологовАвтор: Блейхер В.М.Категория: Медицинская психология
Размер книги: 1.74 Mb
Границы Украины:историческая ретроспектива и современное положениеАвтор: В.Боечко, Автор: О.Ганжа, Автор: Б.ЗахарчукКатегория: Исторические
Размер книги: 74.86 Mb
Enciclopedia del folclore de ChileАвтор: Akmal S. Hyder, Автор: Desalegn Abraha
Размер книги: 80.97 Mb
The Cambridge Ancient History Volume 3, Part 1 The Prehistory of the Balkans, the Middle East and the Aegean World, Tenth to Eighth Centuries BCАвтор: John Boardman, Автор: I. E. S. Edwards, Автор: N. G. L. Hammond, Автор: E. Sollberger
Размер книги: 84.68 Mb
Kind der FinsternisАвтор: Barkawitz Martin, Автор: Clement RogerКатегория: fiction
Размер книги: 1.02 Mb
|
|
|