Sieber, Kurt

ID:DA00076487

同姓同名の著者を検索

検索結果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

    所蔵館13館

  • 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

    所蔵館22館

この著者を外部サイトでさがす

ページトップへ