Jump to main content

yr 〜
yr

Search results 8

プログラミング言語の形式的意味論入門

プログラミング言語の形式的意味論入門
Paper図書
G.ウィンスケル 著, 末永幸平 監訳, 勝股審也 [ほか] 訳丸善出版2023.1<M159-M1057>
National Diet LibraryOther Libraries in Japan
  • Author HeadingWinskel, G. (Glynn) 末永, 幸平 勝股, 審也 中澤, 巧爾 西村, 進 前田, 敦司

Type systems for formal verification of concurrent programs

Type systems for formal verification of concurrent programs
Paper博士論文
Kohei Suenaga [著][Kohei Suenaga][2008]<UT51-2008-S560>
National Diet Library
  • Author Heading末永, 幸平

コンピュータソフトウェア

コンピュータソフトウェア
Paper雑誌雑誌タイトル
日本ソフトウェア科学会 編日本ソフトウェア科学会1984-<Z14-1033>
National Diet LibraryOther Libraries in Japan
  •  
  •  
  •  
  •  
  •  
    •  

計測と制御 : journal of the Society of Instrument and Control Engineers

計測と制御 : journal of the Society of Instrument and Control Engineers
Paper雑誌雑誌タイトル
計測自動制御学会1962-<Z14-106>
National Diet LibraryOther Libraries in Japan
  •  
  •  
  •  
  •  
  •  
    •  

日本ソフトウェア科学会大会論文集

日本ソフトウェア科学会大会論文集
Paper雑誌雑誌タイトル
日本ソフトウェア科学会 編日本ソフトウェア科学会1984-2019<Z14-1245>
National Diet LibraryOther Libraries in Japan
  •  
  •  
  •  
  •  
  •  
    •  

情報処理学会論文誌 論文誌トランザクション

情報処理学会論文誌 論文誌トランザクション
Recording Media雑誌電子資料雑誌タイトル
情報処理学会2008-2013<YH247-812>
National Diet LibraryOther Libraries in Japan
  •  
  •  
  •  
  •  
  •  
    •  

Reached to the end of result.

RSS