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