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
  • Author HeadingAffeldt, Reynald

研究集会 : 高信頼な理論と実装のための定理証明および定理証明器 = 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
  • Author Heading溝口, 佳寛 Garrigue, Jacques 萩原, 学 Affeldt, Reynald

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

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

数学セミナー

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

Reached to the end of result.

RSS