Хайлтын үр дүнгүүд - (java OR jean) bytecode

Хайлтын өөр хувилбарууд:

  • 21 - 2 үр дүнгүүдийг харуулж байна
Үр дүнг сайжруулах
  1. A Machine-Checked, Type-Safe Model of Java Concurrency : Language, Virtual Machine, Memory Model, and Verified Compiler Lochbihler, Andreas

    Хэвлэсэн 2021
    “…The Java programming language provides safety and security guarantees such as type safety and its security architecture. …”
    Бүрэн текст авах
    Online