Machine-Checked, Type-Safe Model of Java Concurrency
Language, Virtual Machine, Memory Model, and Verified Compiler
Autor:
Andreas Lochbihler
Dostupnosť:
Skladom u dodávateľa
Odosielame za 8-11 dní
35.46
€
The Java programming language provides safety and security guarantees such as type safety and its se...
