欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Savara
来自开放百科 - 灰狐
（版本间的差异）
(以内容'Savara: Testable Architecture ==新闻== <rss>http://planet.jboss.org/xml/savara?type=atom|short|date|max=10</rss> Testable Architecture...'创建新页面) |
|||
| 第4行： | 第4行： | ||
<rss>http://planet.jboss.org/xml/savara?type=atom|short|date|max=10</rss> | <rss>http://planet.jboss.org/xml/savara?type=atom|short|date|max=10</rss> | ||
| − | + | <gallery> | |
| − | =链接== | + | Image:Savara-flow-diagram.png|Testable Architecture |
| + | </gallery> | ||
| + | |||
| + | ==链接== | ||
*[http://www.jboss.org/savara Savara项目主页] | *[http://www.jboss.org/savara Savara项目主页] | ||
| + | |||
| + | {{comment}} | ||
[[Category:JBoss]] | [[Category:JBoss]] | ||
2010年10月30日 (六) 10:10的版本
Savara: Testable Architecture
新闻
自http://planet.jboss.org/xml/savara?type=atom加载RSS失败或RSS源被墙
Testable Architecture
链接
<discussion>characters_max=300</discussion>
分享您的观点
