Model Checking. Верификация параллельных и распределенных программных систем — В книге рассказывается о новых результатах в области верификация с помощью метода model checking и приводятся примеры приложений этого метода в самых разных областях.

Книга призвана продемонстрировать основные приемы проектирования конкретных микропроцессорных узлов. Формат книги — это учебник в примерах. Набор конкретных, проверенных в работе схемных и программных решений может очень пригодиться в разработке самого широкого спектра микропроцессорных устройств.

Это книга, написанная сертифицированным компанией Autodesk американским специалистом, посвящена основам работы в программных продуктах AutoCAD 2012 и AutoCAD LT 2012.

AutoCAD Raster Design - программа векторизации изображений - расширяет возможности AutoCAD и программных продуктов на его основе.

CyberLink PowerDVD Ultra 12 - это популярнейший проигрыватель мультимедиа, который отличной подойдет для просмотра фильмов. Программа поддерживает абсолютно все видео форматы, уже включает в себя набор программных кодеков, благодаря этому CyberLink PowerDVD Ultra 12 позволяет качественно воспроизводить любые файлы.

PowerDVD - один из самых лучших современных программных проигрывателей, позволяющий осуществлять интерактивный просмотр дисков DVD-Video и Video CD на вашем компьютере.

CyberLink PowerDVD - один из наиболее качественных программных DVD-Video, Blu-ray (вкючая Blu-ray 3D), AVCHD, Video CD плееров. К его основным достоинствам можно отнести высокое качество изображения, удобный интерфейс со скинами и хорошую настраиваемость.

О Книге:

Название: Проектирование web-приложений и программных систем в Open Source
Автор:Лисьев Г.А., Измайлов В.Г., Озерова М.Ю.
Год Выпуска:2009
Формат|Качество: pdf
Размер файла: 14mb


В учебном пособии последовательно представлены упражнения, позволяющие самостоятельно построить web-сервис тестирования/опроса на основе web-приложений. В каждой работе даны задания, самостоятельное выполнение которых позволит расширить функционал программы