Jump to main content

yr 〜
yr

Search results 5

Verification of concurrent programs using proof assistants

Verification of concurrent programs using proof assistants
Paper博士論文
Reynald Affeldt [著][Reynald Affeldt]2004<UT51-2006-C955>
National Diet Library
  • Author HeadingAffeldt Reynald

Formalization of Error-correcting Codes using SSReflect

Formalization of Error-correcting Codes using SSReflect
Digital文書・図像類
Affeldt, Reynald九州大学マス・フォア・インダストリ研究所2015-03-06MI lecture note series61p.76-78
Available onlineOther Libraries in Japan

研究集会 : 高信頼な理論と実装のための定理証明および定理証明器 = Theorem proving and provers for reliable theory and implementations (TPP2014)

研究集会 : 高信頼な理論と実装のための定理証明および定理証明器 = Theorem proving and provers for reliable theory and implementations (TPP2014)
Paper図書
溝口佳寛 [ほか] 編集九州大学マス・フォア・インダストリ研究所, 九州大学大学院数理学府2015.3
Other Libraries in Japan

Coq/SSReflect/MathCompによる定理証明 : フリーソフトではじめる数学の形式化

Coq/SSReflect/MathCompによる定理証明 : フリーソフトではじめる数学の形式化
Paper図書
萩原学, アフェルト・レナルド 共著森北出版2018.4<MA41-L81>
National Diet LibraryOther Libraries in Japan

数学セミナー

数学セミナー
PaperDigital雑誌雑誌タイトル
日本評論社1991-<Z15-27>
National Diet Library
  •  
  •  
  •  
  •  
  •  
    •  

Reached to the end of result.

RSS