Retourner au contenu associé (dépêche : Core Infrastructure Initiative)
Posté par Nicolas Boulay (site web personnel) le 28 avril 2014 à 09:31. En réponse à la dépêche Core Infrastructure Initiative. Évalué à 3.
A part la ligne 14, ils l'ont utilisé ailleurs ?
Le ferroviaire aime bien le formel avec des produits de http://www.absint.com/ . Mais ils s'agit souvent de prouver "des théorèmes" et non des "spec complètes".
Dans l'aéronautique, ils n'aiment pas trop.
"La première sécurité est la liberté"
AltStyle によって変換されたページ (->オリジナル) / アドレス: モード: デフォルト 音声ブラウザ ルビ付き 配色反転 文字拡大 モバイル
[^] # Re: On verra
Posté par Nicolas Boulay (site web personnel) . En réponse à la dépêche Core Infrastructure Initiative. Évalué à 3.
A part la ligne 14, ils l'ont utilisé ailleurs ?
Le ferroviaire aime bien le formel avec des produits de http://www.absint.com/ . Mais ils s'agit souvent de prouver "des théorèmes" et non des "spec complètes".
Dans l'aéronautique, ils n'aiment pas trop.
"La première sécurité est la liberté"