Физика- Астрономия
- Математика
- Химия
- Биология
- Науки о Земле
- Механика
- "Nanoscience"
- Медицинские науки
- Сельскохозяйственные науки
- Computer science
- Технические науки
Компьютерные науки
К4702 Семантика распределенных программ, методы доказательства корректности распределенных программ
Семантика распределенных программ, методы доказательства корректности распределенных программ
