Библиотека электронных книг и журналов
Выберите категорию:
Наименование: Model Checking. Верификация параллельных и распределенных программных систем.Создатель: Ю. Г. Карпов
Издательство: БХВ-Петербург.
Дата выпуска: 2010 г.
Листов (страниц): 552 стр
Расширение: djvu
Объем файла: 11.89 Мб
ISBN: 978-5-9775-0404-1
Язык издания: Русский
Представлены сведения справочного характера относительно последних результатов в сфере проверки данных с применением методики model checking. Будут полезны примеры приложений этого метода в различных сферах. Описывается также важная проблема верификации, темпоральные логики, представлены последние алгоритмы model checking, которые используются в CTL и LTL. Описаны бинарные решающие диаграммы, символьная верификация. Представлены сведения количественного анализа систем и системы реального времени. Автор рассказывает читателям также и об использовании фундаментальных идей алгоритма model checking в различных приложениях.
Похожие книги:
– Э. М. Кларк, О. Грамберг, Д. Пелед - Верификация моделей п ...
Название: Верификация моделей программ. Model Checking
Автор: Э. М. Кларк, О. Грамберг, Д. Пелед Верификация моделей программ. Model Checking Model Checking
Издательство: МЦНМО
Год: 2002
Страниц: 416
Формат: DJVU, OCR
Размер: 4.59 MB (4,821,327 bytes)
Название: Верификация моделей программ. Model Checking
Автор: Э. М. Кларк, О. Грамберг, Д. Пелед Верификация моделей программ. Model Checking Model Checking
Издательство: МЦНМО
Год: 2002
Страниц: 416
Формат: DJVU, OCR
Размер: 4.59 MB (4,821,327 bytes)
– Hobby Model №87
Название: Ту - 160
Автор: Viking74
Издательство: Hobby Model
Год: 2005
Страниц: 50
Формат: jpg
Размер: 42.83mb
Качество: хорошее
Бумажная модель самолета Ту-160
Название: Ту - 160
Автор: Viking74
Издательство: Hobby Model
Год: 2005
Страниц: 50
Формат: jpg
Размер: 42.83mb
Качество: хорошее
Бумажная модель самолета Ту-160
– Разработка распределенных приложений
Наименование: Разработка распределенных приложений
Создатель: Баженова И.Ю.
Издательство: МГУ им. М. В. Ломоносова
Дата выпуска: 2007
Листов (страниц): 146
Расширение: doc
Объем файла: 2.1 мб
Основная задача авторского коллектива этого пособия – рассказать студентам о формировании распределенных приложений. В книге представлены сведения о детальном анализе реальных актуал ...
Наименование: Разработка распределенных приложенийСоздатель: Баженова И.Ю.
Издательство: МГУ им. М. В. Ломоносова
Дата выпуска: 2007
Листов (страниц): 146
Расширение: doc
Объем файла: 2.1 мб
Основная задача авторского коллектива этого пособия – рассказать студентам о формировании распределенных приложений. В книге представлены сведения о детальном анализе реальных актуал ...
– Резиномоторная модель
Наименование: Резиномоторная модель
Создатель: Шахат А.М.
Издательство: ДОСААФ
Дата выпуска: 1977
Листов (страниц): 66
Расширение: DJVU (600 dpi)
Объем файла: 1,8 Мб
Качество: достойное
Язык издания: русский
Настоящее издание включает в себя сведения относительно трудов российских и иностранных авиамоделистов по улучшению показателей полета, а также же длительности полета. Материалы подходят для моделей чемп ...
Наименование: Резиномоторная модельСоздатель: Шахат А.М.
Издательство: ДОСААФ
Дата выпуска: 1977
Листов (страниц): 66
Расширение: DJVU (600 dpi)
Объем файла: 1,8 Мб
Качество: достойное
Язык издания: русский
Настоящее издание включает в себя сведения относительно трудов российских и иностранных авиамоделистов по улучшению показателей полета, а также же длительности полета. Материалы подходят для моделей чемп ...
– Delphi и Model Driven Architecture: Разработка приложений ...
Название: Delphi и Model Driven Architecture: Разработка приложений баз данных
Автор: Грибачев К.Г.
Издательство: Питер
Год: 2004
Страниц: 348
Формат: PDF
Размер: 6 мб
Качество: Нормальное
Разработка приложений баз данных-Данная книга посвящена новейшей технологии разработки приложений баз данных в Del ...
Название: Delphi и Model Driven Architecture: Разработка приложений баз данных
Автор: Грибачев К.Г.
Издательство: Питер
Год: 2004
Страниц: 348
Формат: PDF
Размер: 6 мб
Качество: Нормальное
Разработка приложений баз данных-Данная книга посвящена новейшей технологии разработки приложений баз данных в Del ...
– Основы технической диагностики
Наименование: Основы технической диагностики
Создатели: Сафарбаков А.М., Лукьянов А.В., Пахомов С.В
Издательство: Иркутск: ИрГУПС
Дата выпуска: 2006
Листов (страниц): 217
Расширение: PDF
Объем файла: 4 мб
Качество: отличное
Язык издания: Русский
На страницах этого труда представлены фундаментальные сведения относительно определения технической диагностики, рассмотрены основные поз ...
Наименование: Основы технической диагностикиСоздатели: Сафарбаков А.М., Лукьянов А.В., Пахомов С.В
Издательство: Иркутск: ИрГУПС
Дата выпуска: 2006
Листов (страниц): 217
Расширение: PDF
Объем файла: 4 мб
Качество: отличное
Язык издания: Русский
На страницах этого труда представлены фундаментальные сведения относительно определения технической диагностики, рассмотрены основные поз ...
– Настройка приложений баз данных
Наименование: Настройка приложений баз данных
Создатели: Б. А. Новиков, Г. Р. Домбровская
Дата выпуска: 2006
Листов (страниц): 240
Расширение: jpg
Объем файла: 80 мб
ISBN: 5-94157-840-7
В книге представлены материалы, которые знакомят читателей с методами настройки баз данных, а также различных приложений, которые используются в процессе создания высокоэффективных систем. Продемонстри ...
Наименование: Настройка приложений баз данныхСоздатели: Б. А. Новиков, Г. Р. Домбровская
Дата выпуска: 2006
Листов (страниц): 240
Расширение: jpg
Объем файла: 80 мб
ISBN: 5-94157-840-7
В книге представлены материалы, которые знакомят читателей с методами настройки баз данных, а также различных приложений, которые используются в процессе создания высокоэффективных систем. Продемонстри ...
– Предметно-ориентированное проектирование (DDD). Структуриз ...
Наименование: Предметно-ориентированное проектирование (DDD). Структуризация сложных программных систем
Создатель: Эрик Эванс
Издательство: Вильямс
Дата выпуска: 2010
Расширение: DjVu
Объем файла: 18 мб
Практическое пособие для новичков, которые изучают предметно-орие ...
Наименование: Предметно-ориентированное проектирование (DDD). Структуризация сложных программных системСоздатель: Эрик Эванс
Издательство: Вильямс
Дата выпуска: 2010
Расширение: DjVu
Объем файла: 18 мб
Практическое пособие для новичков, которые изучают предметно-орие ...
– Теория информации
Наименование: Теория информации
Создатель: Кудряшов Б. Д.
Издательство: Питер
Дата выпуска: 2009
Листов (страниц): 320
Расширение: djvu
Объем файла: 3,5 Мб
ISBN: 978-5-388-00178-8
Качество: отличное
Серия или Выпуск: Учебник для вузов
Язык издания: русский
Книга представляет собой учебное пособие по теории информации, которое включает в себя описания алгоритмов работы актуальных средств последних методов сжатия ...
Наименование: Теория информацииСоздатель: Кудряшов Б. Д.
Издательство: Питер
Дата выпуска: 2009
Листов (страниц): 320
Расширение: djvu
Объем файла: 3,5 Мб
ISBN: 978-5-388-00178-8
Качество: отличное
Серия или Выпуск: Учебник для вузов
Язык издания: русский
Книга представляет собой учебное пособие по теории информации, которое включает в себя описания алгоритмов работы актуальных средств последних методов сжатия ...
– Java. Промышленное программирование
Наименование: Java. Промышленное программирование
Создатели: И.Н. Блинов, В.С. Романчик
Издательство: УниверсалПресс
Дата выпуска: 2007
Листов (страниц): 704
Расширение: DOC
Объем файла: 1.82 Мб
ISBN: 978-985-6699-63-7
Язык издания: Русский
Представляем практическое руководство для всех тех программистов, которые работают с технологий Java SE 6 и J2EE. На страницах п ...
Наименование: Java. Промышленное программированиеСоздатели: И.Н. Блинов, В.С. Романчик
Издательство: УниверсалПресс
Дата выпуска: 2007
Листов (страниц): 704
Расширение: DOC
Объем файла: 1.82 Мб
ISBN: 978-985-6699-63-7
Язык издания: Русский
Представляем практическое руководство для всех тех программистов, которые работают с технологий Java SE 6 и J2EE. На страницах п ...
– Цифровые устройства и микропроцессорные системы
Наименование: Цифровые устройства и микропроцессорные системы
Создатель: Калабеков Б.А.
Издательство: Горячая линия-Телеком
Дата выпуска: 2003
Листов (страниц): 336
Расширение: djvu
Объем файла: 6.7 мб
ISBN: 5-93517-008-6
На страницах настоящего издания представлены обобщенные сведения о построении, а также работе интегральных логических ...
Наименование: Цифровые устройства и микропроцессорные системыСоздатель: Калабеков Б.А.
Издательство: Горячая линия-Телеком
Дата выпуска: 2003
Листов (страниц): 336
Расширение: djvu
Объем файла: 6.7 мб
ISBN: 5-93517-008-6
На страницах настоящего издания представлены обобщенные сведения о построении, а также работе интегральных логических ...
– Самоучитель Visual Studio .NET 2003
Наименование: Самоучитель Visual Studio .NET 2003
Создатель: Андрей Гарнаев
Издательство: Б-П
Дата выпуска: 2003
Листов (страниц): 670
Расширение: pdf
Объем файла: 14,4 Мб
ISBN: 5-94157-336-7
На страницах настоящего самоучителя представлены два современные подхода в девлопинге приложений на базе Visual Basic .NET и С# средствами технологии .NET – рассматривается практичес ...
Наименование: Самоучитель Visual Studio .NET 2003Создатель: Андрей Гарнаев
Издательство: Б-П
Дата выпуска: 2003
Листов (страниц): 670
Расширение: pdf
Объем файла: 14,4 Мб
ISBN: 5-94157-336-7
На страницах настоящего самоучителя представлены два современные подхода в девлопинге приложений на базе Visual Basic .NET и С# средствами технологии .NET – рассматривается практичес ...
Пишет: va5ili5a73 (16 апреля 2011 21:06).
 |
ПОследние новости - скачал еще одну книгу!!!!!! |
Пишет: Aluston (7 мая 2011 18:58).
 |
книга толковая, для спецкурса подошла |
Пишет: filippkina2402 (25 мая 2011 13:56).
 |
Полезная книга для программистов в которой говорится об актуальнейших проблемах разработки приложений . |
| Информация |
|
| Хотите дать комментарий к книге? Авторизируйтесь или зарегистрируйтесь | |
Если Вы преследуете другие цели, Вы должны купить лицензионную версию продукта.
Администрация не несёт ответственность за информацию, размещенную на сайте пользователями (3-ми лицами).
В случае выявления нарушения авторских прав - сообщите об этом администратору
Последние комментарии
Пишет: tasechka_grotter (5 апреля 2011 09:39).