サクサク読めて、アプリ限定の機能も多数!
"all CubedOS modules also be written in SPARK and at least proved free of runtime error" なんだってー!
masterq のブックマーク 2018/01/12 19:07
CubeSat Laboratory[verify][os][kernel][ada][spark]"all CubedOS modules also be written in SPARK and at least proved free of runtime error" なんだってー!2018/01/12 19:07
"all CubedOS modules also be written in SPARK and at least proved free of runtime error" なんだってー!
このブックマークにはスターがありません。 最初のスターをつけてみよう!
cubesatlab.org2018/01/12
1 人がブックマーク・1 件のコメント
\ コメントが サクサク読める アプリです /
"all CubedOS modules also be written in SPARK and at least proved free of runtime error" なんだってー!
このブックマークにはスターがありません。
最初のスターをつけてみよう!
CubeSat Laboratory
1 人がブックマーク・1 件のコメント
\ コメントが サクサク読める アプリです /