Разработка программных приложений в среде BlackBox — В учебном пособии излагаются основы программирования на языке Component Pascal (Oberon-2) в современной среде разработки приложений BlackBox Component Builder (Oberon/F). Приводятся описания интегрированной среды разработчика и рассматриваются вопросы разработки прикладных программ.

Вычислительная математика на смартфонах, коммуникаторах и ноутбуках с использованием программных сред Python — Используя программную среду Python S60, устанавливаемую на смартфоны, работающие под управлением операционной системы Symbian, авторы данной книги разработали ряд скриптов, которые решают вычислительные задачи, традиционно входящие в

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

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