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