A Machine-Checked, Type-Safe Model of Java Concurrency
- Alaotsikko
- Language, Virtual Machine, Memory Model, and Verified Compiler
- Kirjailija
- Andreas Lochbihler
- ISBN
- 9783866448858
- Kieli
- englanti
- Paino
- 517 grammaa
- Julkaisupäivä
- 4.6.2014
- Kustantaja
- Karlsruher Institut Fur Technologie
- Sivumäärä
- 438




















