PRINCIPIA
ProductsSeminarAbout Us

セミナー

現在予定されているセミナーにつきましては CONNPASS のページ をご覧ください.

セミナー開催のリクエストは isaac@principia-m.com までご連絡ください.

並行システム・プロセス代数 CSP・SyncStitch

形式検証・定理証明・Isabelle・Coq

プログラミング言語

その他・一般