Zum Inhalt springen

  1. Bjoerner, Dines [HerausgeberIn] ; International Conference Formal Methods in Programming and Their Applications 1993 Nowosibirsk

    Formal methods in programming and their applications : international conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993; proceedings

    Bücher
    Schließen

    Merkliste

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

    Berlin; Heidelberg [u.a.]: Springer, 1993

    Erschienen in: Lecture notes in computer science ; 735

  2. Bjørner, Dines [Sonstige Person, Familie und Körperschaft] ; International Conference Formal Methods in Programming and Their Applications 1993 Nowosibirsk

    Formal methods in programming and their applications : International Conference ["Formal Methods in Programming and Their Applications"], Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993 ; proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

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

    Berlin [u.a.]: Springer, 1993 ; Online-Ausg., Berlin [u.a.]: Springer, 2006

    Erschienen in: Lecture notes in computer science ; 73500