Zum Inhalt springen

  1. Möller, Bernhard [Sonstige Person, Familie und Körperschaft] ; International Federation for Information Processing Working Group on Algorithmic Languages and Calculi

    Formal program development : IFIP TC2/WG 2.1 state-of-the-art report

    Bücher
    Online ansehen
    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 ; 75500