formal functional programming system的意思|示意

美 / ˈfɔ:məl ˈfʌŋkʃənəl ˈprəuɡræmiŋ ˈsistəm / 英 / ˈfɔrməl ˈfʌŋkʃənəl ˈproˌɡræmɪŋ ˈsɪstəm /

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