欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
Audio Video coding Standard
来自开放百科 - 灰狐
AVS：即数字音视频编解码标准是电子信息产业的重要技术标准，也是数字电视产业链上的标准之一。它是高清晰度数字电视、高清晰度激光视盘机、网络电视、视频通信等重大音视频应用所共同采用的基础性标准。
分享您的观点
