Zum Inhalt springen

  1. Constable, Robert L. [VerfasserIn] ; Silva, Alexandra [Sonstige Person, Familie und Körperschaft]

    Logic and Program Semantics : Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday

    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, Heidelberg: Springer Berlin Heidelberg, 2012

    Erschienen in: Lecture notes in computer science ; 7230