Catálogo de publicaciones - libros
Título de Acceso Abierto
A Machine-Checked, Type-Safe Model of Java Concurrency: Language, Virtual Machine, Memory Model, and Verified Compiler
Resumen/Descripción – provisto por la editorial
No disponible.
Palabras clave – provistas por la editorial
Java; formal semantics; type safety; memory model; concurrency
Disponibilidad
| Institución detectada | Año de publicación | Navegá | Descargá | Solicitá |
|---|---|---|---|---|
| No requiere | Directory of Open access Books |
|
Información
Tipo de recurso:
libros
País de edición
Alemania
Información sobre derechos de publicación
Currently all books are published under the Creative Commons license BY-SA 4.0 DE.