欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
JMOS
来自开放百科 - 灰狐
jMOS is an easy to use, open source library for working with Newsroom Computer Systems (NCS) and Media Object Servers (MOS) on the Java platform using the fastest processors engines for XML like SAX, JAXP and StAX.
分享您的观点
