Вы здесь

Главная

модель памяти

Связанные издания:

Replication: Theory and Practice
Анализ регионов для дедуктивной верификации Си-программ
Модели памяти языков программирования: обзор и тенденции