A Machine-Checked, Type-Safe Model of Java Concurrency
Language, Virtual Machine, Memory Model, and Verified Compiler
Gratis
- Idioma
- Inglés
- Publicación
- 2012
- Editorial
- KIT Scientific Publishing
- Páginas
- 436
- ISBN
- 9783866448858
Todavía no hay resumen de esta edición.
Abriendo el lector…
Todavía no hay reseñas. ¿Escribes la primera?