Hakutulokset - (java OR jna) bytecode

Tarkoititko:

  • Näytetään 1 - 2 yhteensä 2 tuloksesta
Tarkenna hakua
  1. A Machine-Checked, Type-Safe Model of Java Concurrency : Language, Virtual Machine, Memory Model, and Verified Compiler Tekijä Lochbihler, Andreas

    Julkaistu 2021
    “…The Java programming language provides safety and security guarantees such as type safety and its security architecture. …”
    Hae kokoteksti
    Online