Ученые записки Архив 2013


УЗ1-2013 V. МАТЕМАТИКА, ИНФОРМАТИКА, ФИЛОЛОГИЯ И ЛИНГВИСТИКА.

Вопросы взаимодействия и синхронизации распределенных программ на С++ с использованием Win API

Автор/Author: Ю.П. Кораблин, М.Л. Косакян, И.В. Кучугуров

Аннотация/Annotation:
Скачать/Download | Посмотреть онлайн/View online

Ключевые слова/Tags1: верификация, семантика, эквациональная характеризация, Win API.