книги Наука, техника, медицина Техника Радиоэлектроника

Jesse Russell Ronald Cohn

Контрактное программирование

Код 3509324

ISBN: 978-5-5097-2293-6

Нет в продаже

Аннотация к книге "Контрактное программирование"

High Quality Content by WIKIPEDIA articles! Контрактное программирование (design by contract (DbC), programming by contract, contract-based programming) — это метод проектирования программного обеспечения. Он предполагает, что проектировщик должен определить формальные, точные и верифицируемые спецификации интерфейсов для компонентов системы. При этом, кроме обычного определения абстрактных типов данных, также используются предусловия, постусловия и инварианты. Данные спецификации называются "контрактами" в соответствии с концептуальной метафорой условий и ответственности в гражданско-правовых договорах.

Оставить замечание о найденной опечатке Версия для печати

Оставить комментарий

Текст комментария

Оцените книгу:

ISBN:

978-5-5097-2293-6

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

Искусство Экономика

Вместе с этой книгой покупают

-10%

Русская канарейка. Полное издание бумажная книга

Дина Рубина

22.04 USD 19.84 USD

В корзину

-3%

Скорость доверия. То, что меняет все бумажная книга

Стивен Кови

10.82 USD 10.49 USD

В корзину

Последняя принцесса Кореи бумажная книга

Квон Биен

Нет в продаже

-3%

Swift для детей. Самоучитель по созданию приложений для iOS

Swift для детей. Самоучитель по созданию... бумажная книга

Глория Уинквист

20.14 USD 19.54 USD

В корзину

Сепсис в акушерстве и гинекологии бумажная книга

Андрей Александрович...

2.26 USD

В корзину

Блог уходящего детства бумажная книга

Наталья Навроцкая

Нет в продаже

10%

Русская канарейка. Полное издание

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

Дина Рубина

Кипучее, неизбывно музыкальное одесское семейство и - алма-атинская семья скрытных, молчаливых странников... На протяжении столетия их связывает только тоненькая ниточка птичьего рода — блистательный маэстро кенарь Желтухин и его потомки. На исходе XX века сумбурная история оседает горькими и сладкими воспоминаниями, а на свет рождаются новые люди, в том числе "последний по времени Этингер", которому...

Издательство: Эксмо
Дата выхода: февраль 2020

22.04 USD 19.84 USD

В корзину

Скорость доверия. То, что меняет все

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

Стивен Кови

Цитата Вопреки распространенным представлениям доверие — не есть что-то неуловимое и неопределенное, что у вас либо есть, либо нет. Наоборот, доверие — это прагматический, материальный и работоспособный актив, который вы можете создавать, причем гораздо быстрее, чем могли предположить. Стивен Кови-младший О чем книга «Скорость доверия: То, что меняет всё» О том, насколько доверительное...

Издательство: Альпина Паблишер
Дата выхода: январь 2018

10.82 USD 10.49 USD

В корзину

Swift для детей. Самоучитель по созданию приложений для iOS

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

Глория Уинквист Мэтт Маккарти

Одной кнопкой пригласить на праздник всех друзей, придумать игру с бесстрашной скейтершей, обучить компьютер угадывать цифры... Если у вас в руках творение великого Джобса — вы можете сами придумать начинку! Из этого самоучителя вы узнаете, как программировать на Swift — языке, на котором написаны мобильные приложения для Apple. Современный и функциональный Swift легко изучать. Он интуитивно понятен...

Издательство: Манн, Иванов и Фербер
Дата выхода: январь 2018

20.14 USD 19.54 USD

В корзину

Сепсис в акушерстве и гинекологии

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

Андрей Александрович Шмидт Наталья Борисовна Тимофеева Дмитрий Иванович Гайворонских

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

Издательство: СпецЛит
Дата выхода: февраль 2018

2.26 USD

В корзину