Sieber, Kurt

検索結果2件中 1-2 を表示

  • The foundations of program verification

    Jacques Loeckx and Kurt Sieber ; in collaboration with Ryan D. Stansifer

    B.G. Teubner , Wiley c1987 2nd ed Wiley-Teubner series in computer science

    : Wiley , : Teubner

    所蔵館14館

  • The foundations of program verification

    Jacques Loeckx and Kurt Sieber ; in collaboration with Ryan D. Stansifer

    B.G. Teubner , Wiley c1984 Wiley-Teubner series in computer science

    Wiley , Teubner

    所蔵館23館

ページトップへ