Modeling and Verification of Parallel Processes, 4 school, MOVEP 2000

libcats.org

Franck Cassez, Claude Jard, Brigitte Rozoy, Mark D. Ryan

Proceedings of the 4th Summer School, MOVEP 2000, held June 19-23, 2000, Nantes, France. Papers covering the main subjects addressed at MOVEP 2000. Softcover.

Скачать книгу бесплатно (pdf, 1.52 Mb)

Читать «Modeling and Verification of Parallel Processes, 4 school, MOVEP 2000»

EPUB | FB2 | MOBI | TXT | RTF

* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.

Популярные книги за неделю:

Розалинд Мак-Найт. Космические путешествия

Автор:

Размер книги: 520 Kb

Проектирование и строительство. Дом, квартира, сад

Автор: Петер Нойферт, Автор: Людвиг Нефф

Категория: color, architect, civil, building

Размер книги: 20.83 Mb

Секреты компьютерного шпионажа. Тактика и контрмеры

Автор: Дж. Макнамара

Категория: info, info, infotech, computers, computers, net

Размер книги: 3.10 Mb

50 рецептов для аэрогриля

Автор: Е.С. Рзаева

Категория: house, house, cook

Размер книги: 771 Kb

Технология регенерации зубов

Автор: Петров Аркадий Наумович

Категория: Здоровье

Размер книги: 69 Kb

Ключ к сверхсознанию

Автор: Петров Аркадий Наумович

Категория: Путь к себе

Размер книги: 309 Kb

Система упражнений по развитию способностей человека (Практическое пособие)

Автор: Петров Аркадий Наумович

Категория: Путь к себе

Размер книги: 818 Kb

Сотворение мира (3-х томник)

Автор: Петров Аркадий Наумович

Категория: Путь к себе

Размер книги: 817 Kb

Радиолюбительские схемы на ИС типа 555

Автор: Трейстер Р.

Категория: Электротехника и связь

Размер книги: 13.64 Mb

Contemporary Theatre, Film and Television, Volume 97

Автор: Thomas Riggs

Размер книги: 3.18 Mb

Только что пользователи скачали эти книги:

Евангелие от Митьков

Автор: Автор неизвестен

Категория: Юмор

Размер книги: 10 Kb

ТРИ СЛОВА О НЕСЕНИИ КРЕСТА

Автор: Феофан Затворник

Категория: Религия

Размер книги: 84 Kb

Curtius Rufus, Histories of Alexander the Great

Автор: J. E. Atkinson, Автор: J. C. Yardley

Размер книги: 1.23 Mb

My Human Gets me Blues

Автор: Captain Beefheart

Категория: Песенники и тосты

Размер книги: 1 Kb

Supply Chain Management: A Guide To Best Practice (Management Briefings Executive Series)

Автор: Andrew Cox

Размер книги: 705 Kb

Secrets of the eBay Millionaires

Автор: Greg Holden

Размер книги: 6.24 Mb

Cycling Europe: Budget Biking Touring in the Old World (The Active Travel Series)

Автор: Nadine Slavinsky

Размер книги: 38.28 Mb

Jericho Mosaic

Автор: Edward Whittemore

Размер книги: 454 Kb

Esoteric Buddhism and the Tantras in East Asia (Handbook of Oriental Studies)

Автор: Henrik H. Sørensen, Автор: Richard K. Payne Edited by Charles D. Orzech (General Editor)

Размер книги: 34.55 Mb

The Doomsday Incident

Автор: Marquis Michelle

Категория: fiction

Размер книги: 167 Kb