Майкл Лукас

FreeBSD. Подробное руководство, 2-е издание (файл PDF)

Код товара: 613829

лучший выбор

Электронная книга

6.52 USD

Добавить в корзину

Доступные форматы pdf

Найденных опечаток пока нет

Добавить запись

Товар находится в категориях

Компьютеры и Интернет Компьютеры и Интернет Компьютеры и Интернет Компьютеры и Интернет Компьютеры и Интернет Показать все категории

Просмотренные товары

Turbo Pascal: Учебное пособие бумажная книга

В. В. Фаронов

Нет в продаже

Методы верификации программ бумажная книга

19.49 USD

В корзину

Триумф Солнца бумажная книга

Уилбур Смит

Нет в продаже

Клиенты на всю жизнь бумажная книга

Нет в продаже

Методы верификации программ

бумажная книга

Миронов А. М.

В книге излагаются вопросы моделирования и верификации (т.е. доказательства правильности) различных классов программ. Основные концепции и основанные на них подходы к верификации иллюстрированы примерами верификации различных программ. Для закрепления усвоения изложенного материала в книге приведено большое количество задач. Книга предназначена для студентов высших учебных заведений,...

ISBN: 978-5-93700-278-5
Издательство: ДМК
Дата выхода: декабрь 2023

19.49 USD

В корзину

Просмотренные категории

3D Max Гитара PHP