Zum Inhalt springen

  2. Francez, Nissim [VerfasserIn]

    Program verification - [reprint]

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Wokingham [u.a.]: Addison-Wesley, 1993

    Erschienen in: International computer science series

  8. Müllerburg, Monika [HerausgeberIn] ; Gesellschaft für Informatik Fachgruppe Test, Analyse und Verifikation von Software

    Test, Analyse und Verifikation von Software : aus der Arbeit der Fachgruppe 2.1.7 Test, Analyse und Verifikation von Software (TAV) der Gesellschaft für Informatik (GI)

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    München [u.a.]: Oldenbourg, 1996

    Erschienen in: GMD-Forschungszentrum Informationstechnik: GMD-Bericht ; 260

  14. Loeckx, Jacques [VerfasserIn]; Sieber, Kurt [VerfasserIn]

    The foundations of program verification - [2. ed.]

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Stuttgart [u.a.]: Teubner [u.a.], 1987

    Erschienen in: Wiley-Teubner series in computer science

  17. Bakker, Jacobus W. de [VerfasserIn] ; Bruin, Arie de [Sonstige Person, Familie und Körperschaft]

    Mathematical theory of program correctness

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Englewood Cliffs, N.J. [u.a.]: Prentice-Hall International, 1980

    Erschienen in: Prentice-Hall International series in computer science