Современные методы и инструменты формальных спецификаций и дедуктивной верификации императивных программ. Учебное пособие, С. В. Яхонтов

Отзывы

Константин, Киев, 30.05.2017
Искал один роман, давно друг посоветовал. А тут больничный. Чего делать библиоману? Читать канеш! Но чтоб везде и всюду не носить за собой книгу, я ее у вас скачал - называется Современные методы и инструменты формальных спецификаций и дедуктивной верификации императивных программ. Учебное пособие. Понравилось, что без заморочек. Ввел код перед скачиванием и все. Вас в закладки.

Ксения, Новокузнецк, 22.05.2017
Я тут набегом) случайно. Не умею отзывы писать, но как не сказать мерси за бесплатное скачивание книги Современные методы и инструменты формальных спецификаций и дедуктивной верификации императивных программ. Учебное пособие (ввести код с тлф не считается). Мне эта книжка для учебы ой как нужна! А нигде нет или есть, но платно. Вот спасибочки от студентов. Всем сокурсникам про вас рассказала. Ждите наплыва посетителей.

Добавить отзыв

Те, кто смотрел эту страницу, также интересовались:

Картотека подвижных игр, упражнений, физкультминуток, пальчиковой гимнастики, Н. В. Нищева

Бухгалтерский учет и анализ. Конспект лекций. Учебное пособие, М. С. Кувшинов

Русский язык. 3-й класс, Е. А. Польяновская

Часто задаваемые вопросы

1. Какой формат книги выбрать: PDF, EPUB или FB2?
Тут все зависит от ваших личных предпочтений. На сегодняшний день, каждый из этих типов книг можно открыть как на компьютере, так и на смартфоне или планшете. Все скачанные с нашего сайта книги будут одинаково открываться и выглядеть в любом из этих форматов. Если не знаете что выбрать, то для чтения на компьютере выбирайте PDF, а для смартфона - EPUB.

2. Можно ли книги с вашего сайта читать на смартфоне?
Да. Как для iOS, так и для Android есть много удобных программ для чтения книг.

3. В какой программе открыть файл PDF?
Для открытия файла PDF Вы можете воспользоваться бесплатной программой Acrobat Reader. Она доступна для скачивания на сайте adobe.com