ニュース / News

NII情報

NII Today 第77号 「形式手法をものづくりへ - ERATO「蓮尾メタ数理システムデザインプロジェクト」 」を公開

NII Today 第76号「形式手法をものづくりへ - ERATO「蓮尾メタ数理システムデザインプロジェクト」 」を公開しました。

詳細は以下のページをご参照ください。

2745

注目コンテンツ / SPECIAL