A Machine-Checked, Type-Safe Model of Java Concurrency
Language, Virtual Machine, Memory Model, and Verified Compiler
Gratuit
- Langue
- Anglais
- Parution
- 2012
- Éditeur
- KIT Scientific Publishing
- Pages
- 436
- ISBN
- 9783866448858
Pas encore de résumé pour cette édition.
Ouverture de la liseuse…
Aucun avis pour l’instant. À toi d’ouvrir le bal !