>

formal functional programming system

📖 中文释义

  1. [计] 形式函数程序设计系统