книги Электронные книги Художественная литература Беллетристика Приключения

Заглянуть

Роман Казимирский

Ундервуд

Код товара: 5082127

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

Нет в продаже

Доступные форматы fb2.zip txt txt.zip rtf.zip a4.pdf a6.pdf mobi.prc epub ios.epub fb3

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

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

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

Фантастика, фэнтези Детективы, остросюжетная литература

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

Кодекс Сумеречных охотников бумажная книга

Кассандра Клэр

Нет в продаже

Доказательство корректности программ бумажная книга

50.32 USD

В корзину

-37%

Роман Флобера бумажная книга

Валерий Казаков

7.01 USD 4.42 USD

В корзину

Made in China бумажная книга

Ж. М. Эрр

Нет в продаже

Доказательство корректности программ

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

К. Рустан, М. Лейно

Данная книга учит формально рассуждать о компьютерных программах, используя последовательный подход и язык программирования Dafny, поддерживающий верификацию. Показано, как писать спецификации для программ, как удовлетворить требования этих спецификаций и как писать доказательства корректности программ относительно спецификаций. Автор сначала представляет теоретические предпосылки, лежащие в основе...

ISBN: 978-5-93700-199-3
Издательство: ДМК
Дата выхода: июнь 2024

50.32 USD

В корзину

37%

Роман Флобера

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

Валерий Казаков

Свою новую повесть известный писатель Владимир Казаков называет лирическим фарсом нового века. Это смешная и трагичная история любви. Неудачная попытка взрослого человека сыграть по юношеским правилам, прыгнуть в последний вагон "нормальной" жизни оборачивается для него разочарованием. Но герой не унывает, продолжая жить своей жизнью, смеясь над миром и собой. Вся история разворачивается на фоне судьбы...

ISBN: 978-5-227-04424-2
Издательство: Центрполиграф
Дата выхода: май 2013

7.01 USD 4.42 USD

В корзину