Вы здесь

Главная

Языки спецификаций и логическое программирование (Вычислительные системы)

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

Доказательство завершаемости программ средствами динамической логики
Параллельные процессы с синхронизацией: сетевой и алгебраический подходы