везде Расширенный поиск
книги Компьютеры и Интернет Устройство компьютера, “железо”

Lambert M. Surhone, Mariam T. Tennoe, Susan F. Henssonow

Spec Sharp

Код 1476057

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

Нет в продаже

Сообщить о появлении

Аннотация к книге "Spec Sharp"

Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. High Quality Content by WIKIPEDIA articles! Spec# is a programming language with specification language features that extends the capabilities of the C# programming language with Eiffel-like contracts, including object invariants, preconditions and postconditions. Like ESC/Java, it includes a static checking tool based on a theorem prover that is able to statically...

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

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

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

Издательство: Книга по требованию
Дата выхода: июль 2011
ISBN: 978-6-1332-0280-1
Объём: 224 страниц
Масса: 362 г
Размеры(высота, ширина, толщина), см: 23 x 16 x 2

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

Бережливый офис: Устранение потерь времени и денег
Бережливый офис: Устранение потерь времени и денег бумажная книга
Дон Тэппинг
Нет в продаже
Как микробы управляют нами. Тайные властители жизни на Земле
Как микробы управляют нами. Тайные властители... бумажная книга
Эд Йонг
Нет в продаже
Протоколы несионских мудрецов. Что такое государство и экономика
Протоколы несионских мудрецов. Что такое... бумажная книга
Юрий Игнатьевич Мухин
Нет в продаже
Привычки лидера. Самые важные навыки за несколько минут в день
Привычки лидера. Самые важные навыки за... бумажная книга
Мартин Ланик
Нет в продаже
Луи среди призраков
Луи среди призраков бумажная книга
Фанни Бритт
17.1 USD
В корзину
-10%
Гибель Богов-2. Книга шестая. Прошедшая вечность
Гибель Богов-2. Книга шестая. Прошедшая вечность бумажная книга
Ник Перумов
10.17 USD 9.15 USD
В корзину

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