Retourner au contenu associé (dépêche : Un peu d’Open Hardware pour la rentrée (et beaucoup de LinuxBoot))
Posté par Nicolas Boulay (site web personnel) le 03 septembre 2018 à 08:05. En réponse à la dépêche Un peu d’Open Hardware pour la rentrée (et beaucoup de LinuxBoot). Évalué à 4. Dernière modification le 03 septembre 2018 à 08:05.
De quelles genres de méthodes formelles vous parlez ? "formel" est utilisé pour beaucoup de chose très différent.
"La première sécurité est la liberté"
AltStyle によって変換されたページ (->オリジナル) / アドレス: モード: デフォルト 音声ブラウザ ルビ付き 配色反転 文字拡大 モバイル
[^] # Re: Méthodes formelles ?
Posté par Nicolas Boulay (site web personnel) . En réponse à la dépêche Un peu d’Open Hardware pour la rentrée (et beaucoup de LinuxBoot). Évalué à 4. Dernière modification le 03 septembre 2018 à 08:05.
De quelles genres de méthodes formelles vous parlez ? "formel" est utilisé pour beaucoup de chose très différent.
"La première sécurité est la liberté"