Контрольна цифра коректна
EAN-13
Картка товару
Современные методы и инструменты формальных спецификаций и дедуктивной верификации императивных программ. Учебное пособие
- Країна префікса
- Код для книжок
- Виробник
- (Не определено)
- Торгова марка
- (Не определено)
- Категорія
- Учебная литература
- Додано в базу
- 30.11.2015 14:38
- Префікс GS1
- 978
Оцінка товару
Можна поставити оцінку від 1 до 5 без відгуку.
Опис
В основе данного учебного пособия лежит курс лекций прочитанный автором на математико-механическом факультете СПбГУ. В пособии рассматриваются методы формальных спецификаций, ос...
Автор: С. В. Яхонтов
Издательство: Издательский дом Санкт-Петербургского государственного университета
Страниц: 146
Автор: С. В. Яхонтов
Издательство: Издательский дом Санкт-Петербургского государственного университета
Страниц: 146
Додаткові дані
- ГОСТ / ТУ
- Не вказано
- Термін зберігання
- Не вказано
- Склад
- Не вказано
- Тип коду
- EAN-13
- Контрольна цифра
- 7 / очікувана 7