|
|
libcats.org
Model Checking SoftwareSusanne Graf, Laurent MounierThis book constitutes the refereed proceedings of the 11th International SPIN workshop on Model Checking Software, SPIN 2004, held in Barcelona, Spain, in April 2004. The 19 revised full papers presented together with the abstracts of an invited talk and 2 tutorials were carefully reviewed and selected from 48 submissions. The papers are organized in topical sections on heuristics and probabilities, improvements of SPIN, validation of timed systems, tool presentations, abstraction and symbolic methods, and applications. EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
Проектирование и строительство. Дом, квартира, садАвтор: Петер Нойферт, Автор: Людвиг Нефф
Размер книги: 20.83 Mb
Nucleation (Butterworth 2000)Автор: Dimo KashchievКатегория: Phase transitions
Размер книги: 4.70 Mb
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Радиолюбительские схемы на ИС типа 555Автор: Трейстер Р.Категория: Электротехника и связь
Размер книги: 13.64 Mb
Только что пользователи скачали эти книги:
Нечеловеческий факторАвтор: Войнович ВладимирКатегория: Русская классическая проза
Размер книги: 16 Kb
Proceedings of the 5th Workshop on Algorithm EngineeringАвтор: Richard LadnerКатегория: Algorithms
Размер книги: 3.24 Mb
Distributed Applications with Microsoft Visual Basic 6.0 MCSDАвтор: Microsoft Corporation, Автор: Microsoft Corporation StaffКатегория: computer
Размер книги: 3.73 Mb
Competing in Tough Times: Business Lessons from L.L.Bean, Trader Joe's, Costco, and Other World-Class RetailersАвтор: Barry BermanКатегория: Математика, Прикладная математика
Размер книги: 2.80 Mb
The Princess Bride: S. Morgenstern's Classic Tale of True Love and High AdventureАвтор: William Goldman
Размер книги: 364 Kb
Les vertébrés fossiles des gisements de phosphates (Maroc-Algérie-Tunisie)Автор: Camille Arambourg
Размер книги: 14.54 Mb
|
|
|