欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
Reference architecture
来自开放百科 - 灰狐
（版本间的差异）
(以“一些公司的技术和产品参考架构 ==[https://www.lightbend.com/ Lightbend]== image:lightbend.com.png ==[cakesolutions.net Cakesolutions]== [[image:ca...”为内容创建页面) |
小 |
||
| 第2行： | 第2行： | ||
==[https://www.lightbend.com/ Lightbend]== | ==[https://www.lightbend.com/ Lightbend]== | ||
| − | [[image:lightbend | + | [[image:lightbend.png]] |
| − | ==[cakesolutions.net Cakesolutions]== | + | ==[http://www.cakesolutions.net/ Cakesolutions]== |
| − | [[image:cakesolutions | + | [[image:cakesolutions.png]] |
[[category:architecture]] | [[category:architecture]] | ||
2016年4月22日 (五) 06:29的版本
一些公司的技术和产品参考架构
Lightbend
Cakesolutions
分享您的观点
