Model Checking Software: 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011, Proceedings (Lecture Notes in Computer Science Theoretical Computer Science and General Issues)

libcats.org

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

Читать «Model Checking Software: 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011, Proceedings (Lecture Notes in Computer Science Theoretical Computer Science and General Issues) »

EPUB | FB2 | MOBI | TXT | RTF

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

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

Свалка

Автор: Пушкаш Иозеф

Категория: Социально-психологическая фантастика

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

Василий Михайлович Песков. В гостях у Шолохова

Автор:

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

Одноплатные микроЭВМ. Производственное издание

Автор: Авторы: В.Г.Домрачев, Автор: С.Н.Иванов, Автор: А.Ф.Романов, Автор: Ю.Н.Чернышев. Под редакцией В.Г.Домрачева.

Категория: Кибернетика. Семиотика. Информатика. Компьютеры

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

Справочник по основам инфракрасной техники

Автор: Криксунов Л.З.

Категория: info, guide, science, technical, civil, hardware

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

Книга странствий: Мой Восток. Илья Лагутенко, лидер группы Мумий Тролль

Автор: Илья Лагутенко, Автор: лидер группы Мумий Тролль

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

Crybaby

Автор: Carey Mariah

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

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

Конан и огненный зверь

Автор: Робертс Джон Маддокс

Категория: Фэнтези

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

Introducing Literary Theories

Автор: Julian Wolfreys

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

The Harm Paradox: Tort Law and the Unwanted Child in an Era of Choice (Biomedical Law and Ethics Library)

Автор: Nicholl Priaulx

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

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

Rogue Section 31

Автор: Mangels Andy, Автор: Martin Michael A

Категория: fiction

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