Rezultati pretrage - (java OR jna) bytecode

Alternative za pretragu:

  • Prikaz rezultata 1 – 2 od 2
Detaljiziraj rezultate
  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. …”
    Preuzmi cijeli tekst
    Online