Výsledky vyhledávání - (java OR jean) bytecode

Alternativní vyhledávání:

  • Zobrazuji výsledky 1 - 2 z 2
Upřesnit hledání
  1. A Machine-Checked, Type-Safe Model of Java Concurrency : Language, Virtual Machine, Memory Model, and Verified Compiler Autor Lochbihler, Andreas

    Vydáno 2021
    “…The Java programming language provides safety and security guarantees such as type safety and its security architecture. …”
    Získat plný text
    Online