欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp

灰狐咨询

来自开放百科 - 灰狐
(版本间的差异)
跳转到: 导航, 搜索
(咨询范围)
(链接)
第20行: 第20行:
  
 
==链接==
 
==链接==
 +
*[https://www.redhat.com/zh/services/consulting 红帽咨询]
  
 
[[category:huihoo]]
 
[[category:huihoo]]

2017年11月15日 (三) 01:23的版本

灰狐咨询

目录

简介

咨询范围

咨询师

案例

链接

分享您的观点
个人工具
名字空间

变换
操作
导航
工具箱