A961086-ОХФ, A961087-ОХФ Кларк, Эдмунд М. (мл.). Верификация моделей программ: Model Checking [Текст] = Model Checking : [монография] / Э. М. Кларк, О. Грамберг, Д. Пелед ; пер. с англ. В. Захарова, Р. Кончакова, Д. Царькова под ред. Р. Смелянского. - Москва : Изд-во Моск. центра непрерыв. мат. образования, 2002. - 416 с. : рис. - Предм. указ.: с. 400-416. - Библиогр.: с. 377-399. - ISBN 5-94057-054-2 (рус.) (в пер.). - ISBN 0-262-03270-8 (англ.) : 115.00 р.
Рубрики: вычислительная техника--программирование Кл.слова (ненормированные): верификация -- model checking -- модели программ -- автоматизация Доп. точки доступа: Грамберг, Орна Пелед, Дорон Захаров, В. Кончаков, Р. Царьков, Д. Смелянский, Р. Экземпляры всего: 2 ОХФ (2) |
A918152-ОХФ Чакон, С. Git для профессионального программиста [Текст] = Pro Git / С. Чакон, Б. Штрауб ; пер. И. Рузмайкиной. - 2-е изд. - Москва ; Санкт-Петербург [и др.] : Питер, 2016. - 494 с. : ил. - (Библиотека программиста). - ISBN 978-5-496-01763-3. - ISBN 978-1484200773 (англ.) : 948.00 р.
Рубрики: вычислительная техника--программирование Кл.слова (ненормированные): управление версиями -- контроль версий -- распределенная система управления версиями -- Git -- GitHub Доп. точки доступа: Штрауб, Б. Рузмайкина, И. Экземпляры всего: 1 ОХФ (1) |