欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Microsoft Azure
来自开放百科 - 灰狐
Microsoft's Azure Services Platform is a cloud platform (cloud computing platform as a service) offering that "provides a wide range of internet services that can be consumed from both on-premises environments or the internet". It is signficant in that it is Microsoft's first step into cloud computing following the recent launch of the Microsoft Online Services offering.
Links
Official Downloads
分享您的观点