Rezultati - (java OR (anna OR jan)) bytecode

Poišči alternative:

  • Showing 1 - 2 results of 2
Refine Results
  1. A Machine-Checked, Type-Safe Model of Java Concurrency : Language, Virtual Machine, Memory Model, and Verified Compiler od Lochbihler, Andreas

    Izdano 2021
    “...The Java programming language provides safety and security guarantees such as type safety and its security architecture. ...”
    Polni tekst
    Online