Søgeresultater - (java OR jna) bytecode

Søg alternativer:

  • 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 af Lochbihler, Andreas

    Udgivet 2021
    “...The Java programming language provides safety and security guarantees such as type safety and its security architecture. ...”
    Få fuldtekst
    Online