検索結果

Search results

Search results are displayed in the origlnal language of each paper.

1 items found.

  1. 林,雄二 (ハヤシ,ユウジ)
    2. https://www.lib.hokudai.ac.jp/dissertations/list/?FF=4&LANG=en&ACCN=1203605619
    Title in Japaneseソフトウエアの形式的洗練化と検証に関する基礎的研究
    Title in English
    Year of conferral of degrees1999
    Type of degree / Kind of academic degree2（論文博士） / 036（博士(工学)）
    Report number5619
    Date of conferral of degrees2000-03-24
    The primary examiner / A deputy examiner宮本,衛市 / 嘉数,侑昇　大内,東　和田,充雄
    Location
    Call number
    Comment
    Summary5619_hayashi.pdf