Курсы валют:
  • Обменный курс USD по ЦБ РФ на 24.01.2020 : 61,9515
  • Обменный курс EUR по ЦБ РФ на 24.01.2020 : 68,6856

Формальные спецификации

Формальные спецификации - спецификации, полученные формальным способом с использованием математических формализмов, которые обеспечивают полное определение семантики.