Modeling and Verification Using UML Statecharts: A Working Guide to Reactive System Design, Runtime Monitoring and Execution-based Model Checking

libcats.org

Doron Drusinsky

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

Читать «Modeling and Verification Using UML Statecharts: A Working Guide to Reactive System Design, Runtime Monitoring and Execution-based Model Checking»

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

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

Автор:

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

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

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

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

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

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

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

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

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

Тестирование Дот Ком, или Пособие по жестокому обращению с багами в интернет-стартапах

Автор: Роман Савин

Категория: info, manual, computers, computers, manuals

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

The Meme Machine

Автор: susan blackmore

Категория: psychology, memetics, sociology

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

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

Haldeman, Joe - The Pilot

Автор: Haldeman Jack C

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

Динамика удара

Автор: Зукас Дж.А. и др.

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

Climate Crash: Abrupt Climate Change And What It Means For Our Future

Автор: John D. Cox

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

More iPhone Cool Projects: Cool Developers Reveal the Details of their Cooler Apps

Автор: Ben Smith, Автор: Danton Chin, Автор: Claus Höfele, Автор: Leon Palm, Автор: Charles Smith, Автор: David Smith, Автор: Doug Hogg, Автор: Robert Hogg, Автор: Joost van de Wijgerd

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

Sustainable Diplomacy: Ecology, Religion and Ethics in Muslim-Christian Relations (Culture and Religion in International Relations)

Автор: David Joseph Wellman

Категория: Биология, Экология

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

The domain of language

Автор: Michael D. Fortescue

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

Intelligence and Security Informatics: Pacific Asia Workshop, PAISI 2011, Beijing, China, July 9, 2011. Proceedings (Lecture Notes in Computer Science Security and Cryptology)

Автор: Michael Chau, Автор: G. Alan Wang, Автор: Xiaolong Zheng, Автор: Hsinchun Chen, Автор: Daniel Zeng, Автор: Wenji Mao

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

Instruction Sequences for Computer Science

Автор: J A Bergstra; Cornelis A Middelburg

Категория: Cs_Computer science

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

Anti-Es

Автор: Griese Peter

Категория: fiction

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

The Laplace Distribution and Generalizations: A Revisit with Applications to Communications, Economics, Engineering, and Finance

Автор: Samuel Kotz, Автор: Tomaz J. Kozubowski, Автор: Krzysztof Podgórski

Категория: Probability and Statistics

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