КорзинаКупить Проверка и утверждение программ реального времени. Издательство Наукова думка.
Вы всегда можете уточнить на сайте продавца актуальную цену и наличие на товар "Проверка и утверждение программ реального времени"
Взгляните на следующие похожие товары
348 ₽
Лучшая цена в интернет магазине my-shop.ru
913 ₽
Лучшая цена в интернет магазине my-shop.ru
2051 ₽
Лучшая цена в интернет магазине my-shop.ru
412 ₽
Лучшая цена в интернет магазине my-shop.ru
314 ₽
Лучшая цена в интернет магазине Labirint.ru
300 ₽
Лучшая цена в интернет магазине my-shop.ru
Описание товара
Монография посвящена проблеме повышения надежности программного обеспечения систем реального времени путем проверки внутренней правильности на основе структурного анализа программ аналитическими методами. Рассматривается использование аппарата сетей Петри, тестирования, в том числе статистическими методами, а также моделирования для определения системной приемлемости (утверждения) программ. Обсуждается широкий круг вопросов разработки программного обеспечения систем реального времени,.. описание на сайте интернет продавца
Характеристики Проверка и утверждение программ реального времени
| Переводчик | А. Стукаленко | ISBN | 5-12-000381-8, 3-540-15102-8 |
| Сохранность | Хорошая | Статус | Букинистическое издание |
| Редактор | Уи. Дж. Квирк | Язык издания | Русский |
| Размеры | 60x84/16 | Возраст | 18+ |
| Ориг.название | Verification and Validation of Real-Time Software | Год | 1990 |
| Переплет | Мягкая обложка | Количество страниц | 216 |
| Издательство | Наукова думка | Язык | Русский |
| Parsed | 1 | Формат издания | 145х200 мм (средний формат) |
| Тираж | 1400 | Тип издания | Отдельное издание |
| Кол-во страниц | 216 | Вес в упаковке, г | 265 |
| Авторы | С. Болонья, У. Эренбергер, П. Пур-Вестерхейд, Дж. Р. Тейлор, У. Фогес |
Кроме Проверка и утверждение программ реального времени, также взгляните на следующие похожие товары
В преддверии 45-летнего юбилея самой известной отечественной рок-группы (днем рождения "Машины времени" ее основатели считают 27 мая 1969 года) культовый репортер 1980-х Евгений Ю..
348 ₽
Лучшая цена в интернет магазине my-shop.ru
Подробнее
В книге "UML. Проектирование систем реального времени, распределенных и параллельных приложений" приводится детальный обзор концепций объектно-ориентированного..
913 ₽
Лучшая цена в интернет магазине my-shop.ru
Описание
Эта книга — репринт оригинального издания (издательство "Типография штаба Кавказкого военного округа", 1906 год), созданный на основе электронной копии высокого..
2051 ₽
Лучшая цена в интернет магазине my-shop.ru
Описание
Предлагаемая вниманию читателей книга посвящена учению о времени и вечности в христианской космологии. Принято считать, что вопросы космологии относятся к ведению науки, к..
412 ₽
Лучшая цена в интернет магазине my-shop.ru
Подробнее
Новая книга Ирины Черепановой о тайном и таком явном отличии загадочной русской души - суггестии великого и сильного языка. О том, как проявить главную "стрелу времени" из..
314 ₽
Лучшая цена в интернет магазине Labirint.ru
Описание
?Фильм "Операция "С Новым годом!" был снят в 1970 году, но зрители увидели его под новым названием, "Проверка на дорогах", лишь в 1985 году. Причина задержки — в картине была..
300 ₽
Лучшая цена в интернет магазине my-shop.ru
Описание
Категории в которых находится данный товар
Контакты: support@newbookshop.ru