Склад в Москве [-]. Ожидаемое поступление (если вы сделаете заказ прямо сейчас): 10.09.2010; планируемая отправка: 13.09.2010
Склад в С.-Петербурге [-]. Ожидаемое поступление (если вы сделаете заказ прямо сейчас): 08.09.2010; планируемая отправка: 09.09.2010
издательство: BHV-СПБ (все книги издательства)
дата выхода: март 2010
ISBN 978-5-9775-0559-8
тираж 1000 экз.
страниц: 336;
масса, г.: 350;
Аннотация к книге
Рассмотрены фундаментальные теоретические концепции системреальноговремени, функциональная и информационная безопасность, разработка с использованием языка UML, а также верификация программногообеспечения. Описаны популярные программные платформы системреальноговремени. Показаны возможности и особенности применения типовых инструментальных средств на примере конкретных прикладных задач.
Компакт-диск содержит trial-версии программ, которые используются для части рассматриваемых практических упражнений (QNX SDP, aicas JamaicaVM, а также MinGW).
Для инженеров, технических руководителей, студентов и преподавателей вузов