欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
SanssouciDB:企业内存数据库系统的未来原型
SanssouciDB是为了统一分析处理和事务处理的原型数据库系统,它基于在HPI开发的原型和SAP现有的数据库系统。
更多信息请阅读[1]