Sieber, Kurt

ID:DA00076487

Search authors sharing the same name

Search Results1-2 of 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

    Available at 14 libraries

  • 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

    Available at 22 libraries

Search this author

Page Top