Курсы валют:
- Обменный курс USD по ЦБ РФ на 28.04.2024 : 91,7791
- Обменный курс EUR по ЦБ РФ на 28.04.2024 : 98,027
Формальные спецификации - спецификации, полученные формальным способом с использованием математических формализмов, которые обеспечивают полное определение семантики.