Treffer 1 - 2 von 2 für Suche 'Lochbihler, Andreas', Suchdauer: 0,22s Treffer weiter einschränken
  1. 1
    A Machine-Checked, Type-Safe Model of Java Concurrency : Language, Virtual Machine, Memory Model, and Verified Compiler
    von Lochbihler, Andreas
    Veröffentlicht 2012
    Inhaltsverzeichnis
    Inhaltstext
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Quotients of Bounded Natural Functors
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: